AIBullisharXiv – CS AI · 8h ago6/10
🧠
LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning
Researchers present LLM+ASP, a framework combining large language models with Answer Set Programming to enable nonmonotonic reasoning without task-specific engineering. The system uses automated self-correction loops where an ASP solver provides structured feedback, demonstrating significant performance improvements over monotonic logic approaches across diverse reasoning benchmarks.