LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning
arXiv:2604.27960v1 Announce Type: new
Abstract: Recent large language models (LLMs) have achieved impressive reasoning milestones but continue to struggle with high computational costs, logical inconsistencies, and sharp performance degradation on hig…