4 papers · 1 filter
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…
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…
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…