최근 LLM은 뛰어난 추론 능력을 보여주지만, 복잡한 문제에서 성능이 저하되는 경향이 있어요. LLM+ASP 프레임워크는 자연어를 ASP로 변환하여 비단조적 추론을 가능하게 하며, 기존 방식보다 성능이 뛰어나요. 자기 교정 루프와 간결한 참조 가이드가 핵심적인 성능 향상 요인으로 작용했어요.