Imagen de Portada

Systematic Analysis of LLM Contributions to Planning: Solver, Verifier, Heuristic

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Li, Haoming, Chen, Zhaoliang, Liu, Songyuan, Lu, Yiming, Liu, Fei
Formato:	Preprint
Publicado:	2024
Materias:	Artificial Intelligence Computation and Language
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

LASP: Surveying the State-of-the-Art in Large Language Model-Assisted AI Planning
por: Li, Haoming, et al.
Publicado: (2024)

PLANET: A Collection of Benchmarks for Evaluating LLMs' Planning Capabilities
por: Li, Haoming, et al.
Publicado: (2025)

STRUX: An LLM for Decision-Making with Structured Explanations
por: Lu, Yiming, et al.
Publicado: (2024)

A Systematic Analysis of the Impact of Persona Steering on LLM Capabilities
por: Chen, Jiaqi, et al.
Publicado: (2026)

PlanGenLLMs: A Modern Survey of LLM Planning Capabilities
por: Wei, Hui, et al.
Publicado: (2025)

Cannot See the Forest for the Trees: Invoking Heuristics and Biases to Elicit Irrational Choices of LLMs
por: Yang, Haoming, et al.
Publicado: (2025)

The Model Says Walk: How Surface Heuristics Override Implicit Constraints in LLM Reasoning
por: Li, Yubo, et al.
Publicado: (2026)

ARS: Automatic Routing Solver with Large Language Models
por: Li, Kai, et al.
Publicado: (2025)

LLM-A*: Large Language Model Enhanced Incremental Heuristic Search on Path Planning
por: Meng, Silin, et al.
Publicado: (2024)

LLatrieval: LLM-Verified Retrieval for Verifiable Generation
por: Li, Xiaonan, et al.
Publicado: (2023)

DeepPlanning: Benchmarking Long-Horizon Agentic Planning with Verifiable Constraints
por: Zhang, Yinger, et al.
Publicado: (2026)

CompassVerifier: A Unified and Robust Verifier for LLMs Evaluation and Outcome Reward
por: Liu, Shudong, et al.
Publicado: (2025)

Experience-Guided Reflective Co-Evolution of Prompts and Heuristics for Automatic Algorithm Design
por: Liu, Yihong, et al.
Publicado: (2025)

Large Language Models for Planning: A Comprehensive and Systematic Survey
por: Cao, Pengfei, et al.
Publicado: (2025)

Chain-of-Query: Unleashing the Power of LLMs in SQL-Aided Table Understanding via Multi-Agent Collaboration
por: Sui, Songyuan, et al.
Publicado: (2025)

CodePDE: An Inference Framework for LLM-driven PDE Solver Generation
por: Li, Shanda, et al.
Publicado: (2025)

Examining Reasoning LLMs-as-Judges in Non-Verifiable LLM Post-Training
por: Liu, Yixin, et al.
Publicado: (2026)

On the Ability of Transformers to Verify Plans
por: Sarrof, Yash, et al.
Publicado: (2026)

References Improve LLM Alignment in Non-Verifiable Domains
por: Shi, Kejian, et al.
Publicado: (2026)

Assessing and Verifying Task Utility in LLM-Powered Applications
por: Arabzadeh, Negar, et al.
Publicado: (2024)

Competition-Level Problems are Effective LLM Evaluators
por: Huang, Yiming, et al.
Publicado: (2023)

Enhancing CVRP Solver through LLM-driven Automatic Heuristic Design
por: Xie, Zhuoliang, et al.
Publicado: (2026)

TEaR: Improving LLM-based Machine Translation with Systematic Self-Refinement
por: Feng, Zhaopeng, et al.
Publicado: (2024)

Northeastern Uni at Multilingual Counterspeech Generation: Enhancing Counter Speech Generation with LLM Alignment through Direct Preference Optimization
por: Wadhwa, Sahil, et al.
Publicado: (2024)

Learning to Verify Summary Facts with Fine-Grained LLM Feedback
por: Oh, Jihwan, et al.
Publicado: (2024)

VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning
por: Singh, Vikash, et al.
Publicado: (2026)

LLMs Learn Task Heuristics from Demonstrations: A Heuristic-Driven Prompting Strategy for Document-Level Event Argument Extraction
por: Zhou, Hanzhang, et al.
Publicado: (2023)

Automatically Planning Optimal Parallel Strategy for Large Language Models
por: Li, Zongbiao, et al.
Publicado: (2024)

Trust, But Verify: A Self-Verification Approach to Reinforcement Learning with Verifiable Rewards
por: Liu, Xiaoyuan, et al.
Publicado: (2025)

Generative Floor Plan Design with LLMs via Reinforcement Learning with Verifiable Rewards
por: Lara, Luis, et al.
Publicado: (2026)

Label Effects: Shared Heuristic Reliance in Trust Assessment by Humans and LLM-as-a-Judge
por: Sun, Xin, et al.
Publicado: (2026)

HeuriGym: An Agentic Benchmark for LLM-Crafted Heuristics in Combinatorial Optimization
por: Chen, Hongzheng, et al.
Publicado: (2025)

ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis
por: Naik, Atharva, et al.
Publicado: (2026)

Interpreting LLM-as-a-Judge Policies via Verifiable Global Explanations
por: Gajcin, Jasmina, et al.
Publicado: (2025)

PathWise: Planning through World Model for Automated Heuristic Design via Self-Evolving LLMs
por: Gungordu, Oguzhan, et al.
Publicado: (2026)

Verify Before You Commit: Towards Faithful Reasoning in LLM Agents via Self-Auditing
por: Yuan, Wenhao, et al.
Publicado: (2026)

DaSAThco: Data-Aware SAT Heuristics Combinations Optimization via Large Language Models
por: Chen, Minyu, et al.
Publicado: (2025)

Verifying the Verifiers: Unveiling Pitfalls and Potentials in Fact Verifiers
por: Seo, Wooseok, et al.
Publicado: (2025)

Rethinking LLM Language Adaptation: A Case Study on Chinese Mixtral
por: Cui, Yiming, et al.
Publicado: (2024)

Toward Verifiable Misinformation Detection: A Multi-Tool LLM Agent Framework
por: Cui, Zikun, et al.
Publicado: (2025)