3 papers
cs.DL2026
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…
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…