:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Speck, David, Hecher, Markus, Gnad, Daniel, Fichte, Johannes K., Corrêa, Augusto B.
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2502.00145
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Model Counting Competitions 2021-2023
by: Fichte, Johannes K., et al.
Published: (2025)

The Model Counting Competition 2020
by: Fichte, Johannes K., et al.
Published: (2020)

Epistemic Logic Programs: Non-Ground and Counting Complexity
by: Eiter, Thomas, et al.
Published: (2025)

Structure-Aware Encodings of Argumentation Properties for Clique-width
by: Mahmood, Yasir, et al.
Published: (2025)

Diversity of Extensions in Abstract Argumentation
by: Fichte, Johannes K., et al.
Published: (2026)

Rejection in Abstract Argumentation: Harder Than Acceptance?
by: Fichte, Johannes K., et al.
Published: (2024)

Facets in Argumentation: A Formal Approach to Argument Significance
by: Fichte, Johannes, et al.
Published: (2025)

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
by: Hecher, Markus, et al.
Published: (2024)

Finite Groundings for ASP with Functions: A Journey through Consistency
by: Gerlach, Lukas, et al.
Published: (2024)

Complexity of Faceted Explanations in Propositional Abduction
by: Schmidt, Johannes, et al.
Published: (2025)

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
by: Beiser, Alexander, et al.
Published: (2025)

Property-Guided LLM Program Synthesis for Planning
by: Pereira, André G., et al.
Published: (2026)

Artifact of ApproxASP– A Scalable Approximate Answer Set Counter
by: Mohimenul, Kabir, et al.
Published: (2026)

Classical Planning with LLM-Generated Heuristics: Challenging the State of the Art with Python Code
by: Corrêa, Augusto B., et al.
Published: (2025)

Hierarchical Task Network Planning with LLM-Generated Heuristics
by: Meneguzzi, Felipe, et al.
Published: (2026)

Consolidating LAMA with Best-First Width Search
by: Corrêa, Augusto B., et al.
Published: (2024)

Count Counts: Motivating Exploration in LLM Reasoning with Count-based Intrinsic Rewards
by: Zhang, Xuan, et al.
Published: (2025)

The Universal PDDL Domain
by: Haslum, Patrik, et al.
Published: (2024)

Counterfactual Reasoning in Automated Planning
by: Pozanco, Alberto, et al.
Published: (2026)

DualAD: Dual-Layer Planning for Reasoning in Autonomous Driving
by: Wang, Dingrui, et al.
Published: (2024)

Count-based Novelty Exploration in Classical Planning
by: Rosa, Giacomo, et al.
Published: (2024)

Iterative Deployment Improves Planning Skills in LLMs
by: Corrêa, Augusto B., et al.
Published: (2025)

From Alternation to FPRAS: Toward a Complexity Classification of Approximate Counting
by: Hecher, Markus, et al.
Published: (2025)

A Planning Compilation to Reason about Goal Achievement at Planning Time
by: Pozanco, Alberto, et al.
Published: (2025)

Frontier Large Language Models Rival State-of-the-Art Planners
by: Corrêa, Augusto B., et al.
Published: (2025)

On the Empirical Complexity of Reasoning and Planning in LLMs
by: Kang, Liwei, et al.
Published: (2024)

On Reasoning Strength Planning in Large Reasoning Models
by: Sheng, Leheng, et al.
Published: (2025)

Structure-Guided Automated Reasoning
by: Bannach, Max, et al.
Published: (2023)

CoIn: Counting the Invisible Reasoning Tokens in Commercial Opaque LLM APIs
by: Sun, Guoheng, et al.
Published: (2025)

LLM+Reasoning+Planning for Supporting Incomplete User Queries in Presence of APIs
by: Agarwal, Sudhir, et al.
Published: (2024)

Model Space Reasoning as Search in Feedback Space for Planning Domain Generation
by: Oswald, James, et al.
Published: (2026)

Generalized Planning for the Abstraction and Reasoning Corpus
by: Lei, Chao, et al.
Published: (2024)

Graph Reasoning Networks
by: Zopf, Markus, et al.
Published: (2024)

PlanU: Large Language Model Reasoning through Planning under Uncertainty
by: Deng, Ziwei, et al.
Published: (2025)

Reinforced Reasoning for End-to-End Retrosynthetic Planning
by: Zuo, Chenyang, et al.
Published: (2026)

ACPBench: Reasoning about Action, Change, and Planning
by: Kokel, Harsha, et al.
Published: (2024)

Reinforced Reasoning for Embodied Planning
by: Wu, Di, et al.
Published: (2025)

Reasoning as Energy Minimization over Structured Latent Trajectories
by: Johansson, David K.
Published: (2026)

Planning with Reasoning using Vision Language World Model
by: Chen, Delong, et al.
Published: (2025)

Faithful-First Reasoning, Planning, and Acting for Multimodal LLMs
by: Li, Junxian, et al.
Published: (2025)