Buchumschlag

Can LLMs Solve ASP Problems? Insights from a Benchmarking Study (Extended Version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ren, Lin, Xiao, Guohui, Qi, Guilin, Geng, Yishuai, Xue, Haohan
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

BLAST: Benchmarking LLMs with ASP-based Structured Testing
von: Santana, Manuel Alejandro Borroto, et al.
Veröffentlicht: (2026)

Can Graph Descriptive Order Affect Solving Graph Problems with LLMs?
von: Ge, Yuyao, et al.
Veröffentlicht: (2024)

AInstein: Can LLMs Solve Research Problems From Parametric Memory Alone?
von: Mishra, Shambhavi, et al.
Veröffentlicht: (2025)

Evolving A* to Efficiently Solve the k Shortest-Path Problem (Extended Version)
von: López, Carlos Linares, et al.
Veröffentlicht: (2024)

Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study
von: Wang, Keyu, et al.
Veröffentlicht: (2024)

Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling
von: El-Kholany, Mohammed M. S., et al.
Veröffentlicht: (2022)

Plan before Solving: Problem-Aware Strategy Routing for Mathematical Reasoning with LLMs
von: Qi, Shihao, et al.
Veröffentlicht: (2025)

An ASP-based Solution to the Medical Appointment Scheduling Problem
von: Vozna, Alina, et al.
Veröffentlicht: (2026)

GeoEval: Benchmark for Evaluating LLMs and Multi-Modal Models on Geometry Problem-Solving
von: Zhang, Jiaxin, et al.
Veröffentlicht: (2024)

LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning
von: Ishay, Adam, et al.
Veröffentlicht: (2026)

The Role of LLMs in Sustainable Smart Cities: Applications, Challenges, and Future Directions
von: Ullah, Amin, et al.
Veröffentlicht: (2024)

Bridging Natural Language and ASP: A Hybrid Approach Using LLMs and AMR Parsing
von: Hite, Connar, et al.
Veröffentlicht: (2025)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
von: Wernhard, Christoph
Veröffentlicht: (2017)

From Problem-Solving to Teaching Problem-Solving: Aligning LLMs with Pedagogy using Reinforcement Learning
von: Dinucu-Jianu, David, et al.
Veröffentlicht: (2025)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
von: Liu, Qi, et al.
Veröffentlicht: (2025)

An Agentic Framework with LLMs for Solving Complex Vehicle Routing Problems
von: Zhang, Ni, et al.
Veröffentlicht: (2025)

Program of Equations Thoughts to Solve Algebra Word Problems
von: Lin, Yunze
Veröffentlicht: (2025)

From Logic to Language: A Trust Index for Problem Solving with LLMs
von: Rug, Tehseen, et al.
Veröffentlicht: (2025)

Retrieval- and Argumentation-Enhanced Multi-Agent LLMs for Judgmental Forecasting (Extended Version with Supplementary Material)
von: Gorur, Deniz, et al.
Veröffentlicht: (2025)

PHYSICS: Benchmarking Foundation Models on University-Level Physics Problem Solving
von: Feng, Kaiyue, et al.
Veröffentlicht: (2025)

Metacognitive Capabilities of LLMs: An Exploration in Mathematical Problem Solving
von: Didolkar, Aniket, et al.
Veröffentlicht: (2024)

Optimization Problem Solving Can Transition to Evolutionary Agentic Workflows
von: Li, Wenhao, et al.
Veröffentlicht: (2025)

Can Language Models Solve Graph Problems in Natural Language?
von: Wang, Heng, et al.
Veröffentlicht: (2023)

INTEGRALBENCH: Benchmarking LLMs with Definite Integral Problems
von: Tang, Bintao, et al.
Veröffentlicht: (2025)

EvaLearn: Quantifying the Learning Capability and Efficiency of LLMs via Sequential Problem Solving
von: Dou, Shihan, et al.
Veröffentlicht: (2025)

Cross-Problem Learning for Solving Vehicle Routing Problems
von: Lin, Zhuoyi, et al.
Veröffentlicht: (2024)

The Explanation Game -- Rekindled (Extended Version)
von: Marques-Silva, Joao, et al.
Veröffentlicht: (2025)

Harnessing Diverse Perspectives: A Multi-Agent Framework for Enhanced Error Detection in Knowledge Graphs
von: Li, Yu, et al.
Veröffentlicht: (2025)

KGroot: Enhancing Root Cause Analysis through Knowledge Graphs and Graph Convolutional Neural Networks
von: Wang, Tingting, et al.
Veröffentlicht: (2024)

Nondeterministic Polynomial-time Problem Challenge: An Ever-Scaling Reasoning Benchmark for LLMs
von: Yang, Chang, et al.
Veröffentlicht: (2025)

EZASP -- Facilitating the usage of ASP
von: Martins, Rafael, et al.
Veröffentlicht: (2026)

Improving Multimodal LLMs Ability In Geometry Problem Solving, Reasoning, And Multistep Scoring
von: Anand, Avinash, et al.
Veröffentlicht: (2024)

A Study of Belief Revision Postulates in Multi-Agent Systems (Extended Version)
von: Thielscher, Michael, et al.
Veröffentlicht: (2026)

EduBot -- Can LLMs Solve Personalized Learning and Programming Assignments?
von: Wang, Yibin, et al.
Veröffentlicht: (2025)

SMDD-Bench: Can LLMs Solve Real-World Small Molecule Drug Design Tasks?
von: Han, Kevin, et al.
Veröffentlicht: (2026)

Fuse, Reason and Verify: Geometry Problem Solving with Parsed Clauses from Diagram
von: Zhang, Ming-Liang, et al.
Veröffentlicht: (2024)

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

Pre-trained protein language model for codon optimization
von: Pathak, Shashank, et al.
Veröffentlicht: (2024)

Can Continuous-Time Diffusion Models Generate and Solve Globally Constrained Discrete Problems? A Study on Sudoku
von: Drozdova, Mariia
Veröffentlicht: (2026)

Can LLMs Correct Themselves? A Benchmark of Self-Correction in LLMs
von: Tie, Guiyao, et al.
Veröffentlicht: (2025)