3 papers
cs.SE2025
Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
Mohammad Saqib Hasan, Sayontan Ghosh, Dhruv Verma +4
We study the problem of Open-Vocabulary Constructs(OVCs) -- ones not known beforehand -- in the context of converting natural language (NL) specifications into formal languages (e.…
cs.NE2025
Smart Starts: Accelerating Convergence through Uncommon Region Exploration
Xinyu Zhang, Mário Antunes, Tyler Estro +2
Initialization profoundly affects evolutionary algorithm (EA) efficacy by dictating search trajectories and convergence. This study introduces a hybrid initialization strategy comb…
cs.LG2025
Into the Void: Mapping the Unseen Gaps in High Dimensional Data
Xinyu Zhang, Tyler Estro, Geoff Kuenning +2
We present a comprehensive pipeline, augmented by a visual analytics system named ``GapMiner'', that is aimed at exploring and exploiting untapped opportunities within the empty ar…