Saved in:
| Main Authors: | Speck, David, Hecher, Markus, Gnad, Daniel, Fichte, Johannes K., Corrêa, Augusto B. |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| 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)
by: Fichte, Johannes K., et al.
Published: (2025)
The Model Counting Competition 2020
by: Fichte, Johannes K., et al.
Published: (2020)
by: Fichte, Johannes K., et al.
Published: (2020)
Epistemic Logic Programs: Non-Ground and Counting Complexity
by: Eiter, Thomas, et al.
Published: (2025)
by: Eiter, Thomas, et al.
Published: (2025)
Structure-Aware Encodings of Argumentation Properties for Clique-width
by: Mahmood, Yasir, et al.
Published: (2025)
by: Mahmood, Yasir, et al.
Published: (2025)
Diversity of Extensions in Abstract Argumentation
by: Fichte, Johannes K., et al.
Published: (2026)
by: Fichte, Johannes K., et al.
Published: (2026)
Rejection in Abstract Argumentation: Harder Than Acceptance?
by: Fichte, Johannes K., et al.
Published: (2024)
by: Fichte, Johannes K., et al.
Published: (2024)
Facets in Argumentation: A Formal Approach to Argument Significance
by: Fichte, Johannes, et al.
Published: (2025)
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)
by: Hecher, Markus, et al.
Published: (2024)
Finite Groundings for ASP with Functions: A Journey through Consistency
by: Gerlach, Lukas, et al.
Published: (2024)
by: Gerlach, Lukas, et al.
Published: (2024)
Complexity of Faceted Explanations in Propositional Abduction
by: Schmidt, Johannes, et al.
Published: (2025)
by: Schmidt, Johannes, et al.
Published: (2025)
Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
by: Beiser, Alexander, et al.
Published: (2025)
by: Beiser, Alexander, et al.
Published: (2025)
Property-Guided LLM Program Synthesis for Planning
by: Pereira, André G., et al.
Published: (2026)
by: Pereira, André G., et al.
Published: (2026)
Artifact of ApproxASP– A Scalable Approximate Answer Set Counter
by: Mohimenul, Kabir, et al.
Published: (2026)
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)
by: Corrêa, Augusto B., et al.
Published: (2025)
Hierarchical Task Network Planning with LLM-Generated Heuristics
by: Meneguzzi, Felipe, et al.
Published: (2026)
by: Meneguzzi, Felipe, et al.
Published: (2026)
Consolidating LAMA with Best-First Width Search
by: Corrêa, Augusto B., et al.
Published: (2024)
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)
by: Zhang, Xuan, et al.
Published: (2025)
The Universal PDDL Domain
by: Haslum, Patrik, et al.
Published: (2024)
by: Haslum, Patrik, et al.
Published: (2024)
Counterfactual Reasoning in Automated Planning
by: Pozanco, Alberto, et al.
Published: (2026)
by: Pozanco, Alberto, et al.
Published: (2026)
DualAD: Dual-Layer Planning for Reasoning in Autonomous Driving
by: Wang, Dingrui, et al.
Published: (2024)
by: Wang, Dingrui, et al.
Published: (2024)
Count-based Novelty Exploration in Classical Planning
by: Rosa, Giacomo, et al.
Published: (2024)
by: Rosa, Giacomo, et al.
Published: (2024)
Iterative Deployment Improves Planning Skills in LLMs
by: Corrêa, Augusto B., et al.
Published: (2025)
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)
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)
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)
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)
by: Kang, Liwei, et al.
Published: (2024)
On Reasoning Strength Planning in Large Reasoning Models
by: Sheng, Leheng, et al.
Published: (2025)
by: Sheng, Leheng, et al.
Published: (2025)
Structure-Guided Automated Reasoning
by: Bannach, Max, et al.
Published: (2023)
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)
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)
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)
by: Oswald, James, et al.
Published: (2026)
Generalized Planning for the Abstraction and Reasoning Corpus
by: Lei, Chao, et al.
Published: (2024)
by: Lei, Chao, et al.
Published: (2024)
Graph Reasoning Networks
by: Zopf, Markus, et al.
Published: (2024)
by: Zopf, Markus, et al.
Published: (2024)
PlanU: Large Language Model Reasoning through Planning under Uncertainty
by: Deng, Ziwei, et al.
Published: (2025)
by: Deng, Ziwei, et al.
Published: (2025)
Reinforced Reasoning for End-to-End Retrosynthetic Planning
by: Zuo, Chenyang, et al.
Published: (2026)
by: Zuo, Chenyang, et al.
Published: (2026)
ACPBench: Reasoning about Action, Change, and Planning
by: Kokel, Harsha, et al.
Published: (2024)
by: Kokel, Harsha, et al.
Published: (2024)
Reinforced Reasoning for Embodied Planning
by: Wu, Di, et al.
Published: (2025)
by: Wu, Di, et al.
Published: (2025)
Reasoning as Energy Minimization over Structured Latent Trajectories
by: Johansson, David K.
Published: (2026)
by: Johansson, David K.
Published: (2026)
Planning with Reasoning using Vision Language World Model
by: Chen, Delong, et al.
Published: (2025)
by: Chen, Delong, et al.
Published: (2025)
Faithful-First Reasoning, Planning, and Acting for Multimodal LLMs
by: Li, Junxian, et al.
Published: (2025)
by: Li, Junxian, et al.
Published: (2025)
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)