Papers by Adam Ishay
LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning (2026.findings-acl)
Copied to clipboard
| Challenge: | Recent large language models struggle with high computational costs and logical inconsistencies . a framework that translates natural language into Answer Set Programming (ASP) is developed . |
| Approach: | They propose a framework that translates natural language into Answer Set Programming (ASP) stable model semantics allow LLMs to express default rules and exceptions, they show . |
| Outcome: | The proposed framework outperforms existing methods on nonmonotonic reasoning tasks without any per-task engineering and applies uniformly across reasoning tasks. |
Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text (2023.findings-acl)
Copied to clipboard
| Challenge: | Large language models (LLMs) are robust and general, but their reasoning ability is not at a level to compete with the best models trained for specific natural language reasoning problems. |
| Approach: | They propose to use large language models as a few-shot semantic parser to convert natural language sentences into a logical form that serves as input for answer set programs. |
| Outcome: | The proposed model can handle multiple question-answering tasks without requiring retraining for each new task. |