Cover Image

LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ishay, Adam, Lee, Joohyung
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions
by: Ishay, Adam, et al.
Published: (2025)

Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering
by: Ishay, Adam, et al.
Published: (2025)

Cplus2ASP: Computing Action Language C+ in Answer Set Programming
by: Babb, Joseph, et al.
Published: (2026)

Answer Set Programming Modulo Theories and Reasoning about Continuous Changes
by: Lee, Joohyung, et al.
Published: (2025)

Functional Stable Model Semantics and Answer Set Programming Modulo Theories
by: Bartholomew, Michael, et al.
Published: (2026)

Action Language BC+
by: Babb, Joseph, et al.
Published: (2025)

LPMLN, Weak Constraints, and P-log
by: Lee, Joohyung, et al.
Published: (2025)

Fuzzy Propositional Formulas under the Stable Model Semantics
by: Lee, Joohyung, et al.
Published: (2025)

CoGS: Model Agnostic Causality Constrained Counterfactual Explanations using goal-directed ASP
by: Dasgupta, Sopam, et al.
Published: (2024)

Weighted Rules under the Stable Model Semantics
by: Lee, Joohyung, et al.
Published: (2026)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
by: Bartholomew, Michael, et al.
Published: (2025)

Self-Corrective Task Planning by Inverse Prompting with Large Language Models
by: Lee, Jiho, et al.
Published: (2025)

Do LLMs Need Inherent Reasoning Before Reinforcement Learning? A Study in Korean Self-Correction
by: Kim, Hongjin, et al.
Published: (2026)

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
by: Zeng, Yankai, et al.
Published: (2024)

Task-Agnostic Learning to Accomplish New Tasks
by: Zhang, Xianqi, et al.
Published: (2022)

Bridging Natural Language and ASP: A Hybrid Approach Using LLMs and AMR Parsing
by: Hite, Connar, et al.
Published: (2025)

BLAST: Benchmarking LLMs with ASP-based Structured Testing
by: Santana, Manuel Alejandro Borroto, et al.
Published: (2026)

An Empirical Study of Conformal Prediction in LLM with ASP Scaffolds for Robust Reasoning
by: Kaur, Navdeep, et al.
Published: (2025)

Can LLMs Solve ASP Problems? Insights from a Benchmarking Study (Extended Version)
by: Ren, Lin, et al.
Published: (2025)

Federated Learning-Enabled Hybrid Language Models for Communication-Efficient Token Transmission
by: Solat, Faranaksadat, et al.
Published: (2025)

Can LLMs Correct Themselves? A Benchmark of Self-Correction in LLMs
by: Tie, Guiyao, et al.
Published: (2025)

Meta-Prompting: Enhancing Language Models with Task-Agnostic Scaffolding
by: Suzgun, Mirac, et al.
Published: (2024)

EZASP -- Facilitating the usage of ASP
by: Martins, Rafael, et al.
Published: (2026)

MANAR: Memory-augmented Attention with Navigational Abstract Conceptual Representation
by: Jahshan, Zuher, et al.
Published: (2026)

Reinforcing VLAs in Task-Agnostic World Models
by: Wang, Yucen, et al.
Published: (2026)

Pathwise Explanation of ReLU Neural Networks
by: Lim, Seongwoo, et al.
Published: (2025)

Reflective Confidence: Correcting Reasoning Flaws via Online Self-Correction
by: Zeng, Qinglin, et al.
Published: (2025)

Self-Guided Masked Autoencoders for Domain-Agnostic Self-Supervised Learning
by: Xie, Johnathan, et al.
Published: (2024)

Mitigating Resolution-Drift in Federated Learning: Case of Keypoint Detection
by: Lim, Taeheon, et al.
Published: (2025)

The Geometry of Self-Verification in a Task-Specific Reasoning Model
by: Lee, Andrew, et al.
Published: (2025)

Generalized Correctness Models: Learning Calibrated and Model-Agnostic Correctness Predictors from Historical Patterns
by: Xiao, Hanqi, et al.
Published: (2025)

An ASP-Based Framework for MUSes
by: Kabir, Mohimenul, et al.
Published: (2025)

On the generalization of learned constraints for ASP solving in temporal domains
by: Romero, Javier, et al.
Published: (2024)

Generating Causally Compliant Counterfactual Explanations using ASP
by: Dasgupta, Sopam
Published: (2025)

Winning Snake: Design Choices in Multi-Shot ASP
by: Böhl, Elisa, et al.
Published: (2024)

Boosting LLM Reasoning via Spontaneous Self-Correction
by: Zhao, Xutong, et al.
Published: (2025)

Structure Enables Effective Self-Localization of Errors in LLMs
by: Samanta, Ankur, et al.
Published: (2026)

Selection-p: Self-Supervised Task-Agnostic Prompt Compression for Faithfulness and Transferability
by: Chung, Tsz Ting, et al.
Published: (2024)

Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement
by: Kuhlmann, Isabelle, et al.
Published: (2023)

The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital
by: Nabeshima, Hidetomo, et al.
Published: (2025)