9 papers
Synthesizing Feature Extractors: An Agentic Approach for Algorithm Selection
Hai Xia, Carlos Ansótegui, Stefan Szeider
Algorithm selection for constraint satisfaction problems requires extracting features that capture problem structure. Manually designing feature extractors demands deep domain expe…
Radio Monitoring of Classical Novae using the ASKAP Variable and Slow Transients Survey
Aishani Majumder, David L. Kaplan, Laura N. Driessen +3
We present a search for radio emission from classical novae at 887.5 MHz using data from the Australian SKA Pathfinder Variable And Slow Transient (VAST) survey. We cross-matched 4…
Improving Constraint Models with LLM Agents
Florentina Voboril, Stefan Szeider
The runtime of Constraint Programming (CP) solvers is highly sensitive to modeling choices, such as symmetry breaking, implied constraints, global constraints, constraint reformula…
PBLean: Pseudo-Boolean Proof Certificates for Lean 4
Stefan Szeider
We present PBLean, a method for importing VeriPB pseudo-Boolean (PB) proof certificates into Lean 4. Key to our approach is reflection: a Boolean checker function whose soundness i…
LLM Self-Explanations Fail Semantic Invariance
Stefan Szeider
We present semantic invariance testing, a method to test whether LLM self-explanations are faithful. A faithful self-report should remain stable when only the semantic context chan…
Unmediated AI-Assisted Scholarly Citations
Stefan Szeider
Traditional bibliography databases require users to navigate search forms and manually copy citation data. Language models offer an alternative: a natural-language interface where…