:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Ren, Lin, Xiao, Guohui, Qi, Guilin, Geng, Yishuai, Xue, Haohan
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2507.19749
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Can Graph Descriptive Order Affect Solving Graph Problems with LLMs?
by: Ge, Yuyao, et al.
Published: (2024)

AInstein: Can LLMs Solve Research Problems From Parametric Memory Alone?
by: Mishra, Shambhavi, et al.
Published: (2025)

Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study
by: Wang, Keyu, et al.
Published: (2024)

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

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

An ASP-based Solution to the Medical Appointment Scheduling Problem
by: Vozna, Alina, et al.
Published: (2026)

The Role of LLMs in Sustainable Smart Cities: Applications, Challenges, and Future Directions
by: Ullah, Amin, et al.
Published: (2024)

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

Plan before Solving: Problem-Aware Strategy Routing for Mathematical Reasoning with LLMs
by: Qi, Shihao, et al.
Published: (2025)

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

LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning
by: Ishay, Adam, et al.
Published: (2026)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
by: Liu, Qi, et al.
Published: (2025)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
by: Wernhard, Christoph
Published: (2017)

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

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

An Agentic Framework with LLMs for Solving Complex Vehicle Routing Problems
by: Zhang, Ni, et al.
Published: (2025)

KGroot: Enhancing Root Cause Analysis through Knowledge Graphs and Graph Convolutional Neural Networks
by: Wang, Tingting, et al.
Published: (2024)

EvaLearn: Quantifying the Learning Capability and Efficiency of LLMs via Sequential Problem Solving
by: Dou, Shihan, et al.
Published: (2025)

Optimization Problem Solving Can Transition to Evolutionary Agentic Workflows
by: Li, Wenhao, et al.
Published: (2025)

Can Language Models Solve Graph Problems in Natural Language?
by: Wang, Heng, et al.
Published: (2023)

Metacognitive Capabilities of LLMs: An Exploration in Mathematical Problem Solving
by: Didolkar, Aniket, et al.
Published: (2024)

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

Program of Equations Thoughts to Solve Algebra Word Problems
by: Lin, Yunze
Published: (2025)

From Logic to Language: A Trust Index for Problem Solving with LLMs
by: Rug, Tehseen, et al.
Published: (2025)

Pre-trained protein language model for codon optimization
by: Pathak, Shashank, et al.
Published: (2024)

Nondeterministic Polynomial-time Problem Challenge: An Ever-Scaling Reasoning Benchmark for LLMs
by: Yang, Chang, et al.
Published: (2025)

PHYSICS: Benchmarking Foundation Models on University-Level Physics Problem Solving
by: Feng, Kaiyue, et al.
Published: (2025)

Cross-Problem Learning for Solving Vehicle Routing Problems
by: Lin, Zhuoyi, et al.
Published: (2024)

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

INTEGRALBENCH: Benchmarking LLMs with Definite Integral Problems
by: Tang, Bintao, et al.
Published: (2025)

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

The Explanation Game -- Rekindled (Extended Version)
by: Marques-Silva, Joao, et al.
Published: (2025)

A Comprehensive Survey on Root Cause Analysis in (Micro) Services: Methodologies, Challenges, and Trends
by: Wang, Tingting, et al.
Published: (2024)

EduBot -- Can LLMs Solve Personalized Learning and Programming Assignments?
by: Wang, Yibin, et al.
Published: (2025)

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

PRIMO: Progressive Induction for Multi-hop Open Rule Generation
by: Liu, Jianyu, et al.
Published: (2024)

Improving Multimodal LLMs Ability In Geometry Problem Solving, Reasoning, And Multistep Scoring
by: Anand, Avinash, et al.
Published: (2024)

Large Vision Models Can Solve Mental Rotation Problems
by: Mason, Sebastian Ray, et al.
Published: (2025)

A Study of Belief Revision Postulates in Multi-Agent Systems (Extended Version)
by: Thielscher, Michael, et al.
Published: (2026)