Image de couverture de livre

Property-Guided LLM Program Synthesis for Planning

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Pereira, André G., Corrêa, Augusto B., Seipp, Jendrik
Format:	Preprint
Publié:	2026
Sujets:	Artificial Intelligence Machine Learning
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Classical Planning with LLM-Generated Heuristics: Challenging the State of the Art with Python Code
par: Corrêa, Augusto B., et autres
Publié: (2025)

Frontier Large Language Models Rival State-of-the-Art Planners
par: Corrêa, Augusto B., et autres
Publié: (2025)

Symmetry-Aware Transformer Training for Automated Planning
par: Fritzsche, Markus, et autres
Publié: (2025)

Consolidating LAMA with Best-First Width Search
par: Corrêa, Augusto B., et autres
Publié: (2024)

LLM-Evolved Domain-Independent Heuristics for Symbolic AI Planning
par: Gestrin, Elliot, et autres
Publié: (2026)

NL2Plan: Robust LLM-Driven Planning from Minimal Text Descriptions
par: Gestrin, Elliot, et autres
Publié: (2024)

Reinforcement Learning with Reward Machines for Sleep Control in Mobile Networks
par: Levina, Kristina, et autres
Publié: (2026)

Numeric Reward Machines
par: Levina, Kristina, et autres
Publié: (2024)

LLM-Evolved Pattern Generators for Optimal Classical Planning
par: Phung, Windy, et autres
Publié: (2026)

Dynamic Tree Databases in Automated Planning
par: Joergensen, Oliver, et autres
Publié: (2025)

Parallel Lifted Planning via Semi-Naive Datalog Evaluation
par: Drexler, Dominik, et autres
Publié: (2026)

Code and experiment data from the NeurIPS 2025 paper "Classical Planning with LLM-Generated Heuristics: Challenging the State of the Art with Python Code"
par: Corrêa, Augusto B., et autres
Publié: (2025)

Iterative Deployment Improves Planning Skills in LLMs
par: Corrêa, Augusto B., et autres
Publié: (2025)

Margin-calibrated Classifier Guidance for Property-driven Synthesis Planning
par: Laabid, Najwa, et autres
Publié: (2026)

Subgoal Graph-Augmented Planning for LLM-Guided Open-World Reinforcement Learning
par: Fan, Shanwei, et autres
Publié: (2025)

Program-Based Strategy Induction for Reinforcement Learning
par: Correa, Carlos G., et autres
Publié: (2024)

Expert-Guided LLM Reasoning for Battery Discovery: From AI-Driven Hypothesis to Synthesis and Characterization
par: Liu, Shengchao, et autres
Publié: (2025)

Entropy-Guided Loop: Achieving Reasoning through Uncertainty-Aware Generation
par: Correa, Andrew G. A., et autres
Publié: (2025)

LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks
par: Kambhampati, Subbarao, et autres
Publié: (2024)

A Real-World WebAgent with Planning, Long Context Understanding, and Program Synthesis
par: Gur, Izzeddin, et autres
Publié: (2023)

Reinforcement Learning for Long-Horizon Unordered Tasks: From Boolean to Coupled Reward Machines
par: Levina, Kristina, et autres
Publié: (2025)

Understanding Sample Generation Strategies for Learning Heuristic Functions in Classical Planning
par: Bettker, R. V., et autres
Publié: (2022)

Gradient-Based Program Synthesis with Neurally Interpreted Languages
par: Macfarlane, Matthew V., et autres
Publié: (2026)

Can LLMs Guide Their Own Exploration? Gradient-Guided Reinforcement Learning for LLM Reasoning
par: Liang, Zhenwen, et autres
Publié: (2025)

MobileLLM-Flash: Latency-Guided On-Device LLM Design for Industry Scale Deployment
par: Huang, Hanxian, et autres
Publié: (2026)

Preference Guided Iterated Pareto Referent Optimisation for Accessible Route Planning
par: Speziali, Paolo, et autres
Publié: (2026)

LLM Reasoning with Process Rewards for Outcome-Guided Steps
par: Rezaei, Mohammad, et autres
Publié: (2026)

Policy Guided Tree Search for Enhanced LLM Reasoning
par: Li, Yang
Publié: (2025)

Enhancing LLM Planning Capabilities through Intrinsic Self-Critique
par: Bohnet, Bernd, et autres
Publié: (2025)

Reinforcement Learning-based Heuristics to Guide Domain-Independent Dynamic Programming
par: Narita, Minori, et autres
Publié: (2025)

Hierarchical Task Network Planning with LLM-Generated Heuristics
par: Meneguzzi, Felipe, et autres
Publié: (2026)

Symmetry-Constrained Language-Guided Program Synthesis for Discovering Governing Equations from Noisy and Partial Observations
par: Baig, Mirza Samad Ahmed, et autres
Publié: (2026)

Time To Impeach LLM-as-a-Judge: Programs are the Future of Evaluation
par: Huang, Tzu-Heng, et autres
Publié: (2025)

Memory-Based Advantage Shaping for LLM-Guided Reinforcement Learning
par: Nourzad, Narjes, et autres
Publié: (2026)

Minimizing Hyperbolic Embedding Distortion with LLM-Guided Hierarchy Restructuring
par: Ayoughi, Melika, et autres
Publié: (2025)

Guiding Exploration in Reinforcement Learning Through LLM-Augmented Observations
par: Jain, Vaibhav, et autres
Publié: (2025)

A Practical Guide for Evaluating LLMs and LLM-Reliant Systems
par: Rudd, Ethan M., et autres
Publié: (2025)

LLM-Guided Dynamic-UMAP for Personalized Federated Graph Learning
par: Puppala, Sai, et autres
Publié: (2025)

Intelligent Assistants for the Semiconductor Failure Analysis with LLM-Based Planning Agents
par: Dobrovsky, Aline, et autres
Publié: (2025)

Inference-Time Computations for LLM Reasoning and Planning: A Benchmark and Insights
par: Parashar, Shubham, et autres
Publié: (2025)