Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
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…
cs.AI2025
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…