2 papers
cs.AI2026
PrologMCP: A Standardized Prolog Tool Interface for LLM Agents
Agnieszka Mensfelt, Adarsh Prabhakaran, Adrian Haret +2
Frontier reasoning-tuned language models still fail on deductive tasks at depth, and the cost of improved performance through extended internal reasoning scales poorly. Symbolic de…
cs.GT2025
Apportionment with Weighted Seats
Julian Chingoma, Ulle Endriss, Ronald de Haan +2
Apportionment is the task of assigning resources to entities with different entitlements in a fair manner, and specifically a manner that is as proportional as possible. The best-k…