1 citations · 1 across the 9 of their papers we have counts for
10 papers
Erdős-Gyárfás Balanced Five-Colorings
Hai Xia, Stefan Szeider
A coloring of the edges of a complete graph with colors is balanced if the edges among any vertices use all colors. Erdős and Gyárfás (1999) conjectured that for all…
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…
LLM-Guided Graph Generation for Structure-Based Local Improvement Methods
Hai Xia, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider
Large neighborhood search normally selects a random subset of decision variables for iterative optimization. To efficiently solve various problems, researchers tend to design varia…
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…
ASP-Bench: From Natural Language to Logic Programs
Stefan Szeider
Automating the translation of natural-language specifications into logic programs is a challenging task that affects neurosymbolic engineering. We present ASP-Bench, a benchmark co…
MCP-Solver: Integrating Language Models with Constraint Programming Systems
Stefan Szeider
The MCP Solver bridges Large Language Models (LLMs) with symbolic solvers through the Model Context Protocol (MCP), an open-source standard for AI system integration. Providing LLM…
Generating Streamlining Constraints with Large Language Models
Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider
Streamlining constraints (or streamliners, for short) narrow the search space, enhancing the speed and feasibility of solving complex constraint satisfaction problems. Traditionall…