Imagen de Portada

Property-Guided LLM Program Synthesis for Planning

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Pereira, André G., Corrêa, Augusto B., Seipp, Jendrik
Formato:	Preprint
Publicado:	2026
Materias:	Artificial Intelligence Machine Learning
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

Symmetry-Aware Transformer Training for Automated Planning
por: Fritzsche, Markus, et al.
Publicado: (2025)

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

LLM-Evolved Domain-Independent Heuristics for Symbolic AI Planning
por: Gestrin, Elliot, et al.
Publicado: (2026)

NL2Plan: Robust LLM-Driven Planning from Minimal Text Descriptions
por: Gestrin, Elliot, et al.
Publicado: (2024)

Reinforcement Learning with Reward Machines for Sleep Control in Mobile Networks
por: Levina, Kristina, et al.
Publicado: (2026)

Numeric Reward Machines
por: Levina, Kristina, et al.
Publicado: (2024)

LLM-Evolved Pattern Generators for Optimal Classical Planning
por: Phung, Windy, et al.
Publicado: (2026)

Dynamic Tree Databases in Automated Planning
por: Joergensen, Oliver, et al.
Publicado: (2025)

Parallel Lifted Planning via Semi-Naive Datalog Evaluation
por: Drexler, Dominik, et al.
Publicado: (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"
por: Corrêa, Augusto B., et al.
Publicado: (2025)

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

Margin-calibrated Classifier Guidance for Property-driven Synthesis Planning
por: Laabid, Najwa, et al.
Publicado: (2026)

Subgoal Graph-Augmented Planning for LLM-Guided Open-World Reinforcement Learning
por: Fan, Shanwei, et al.
Publicado: (2025)

Program-Based Strategy Induction for Reinforcement Learning
por: Correa, Carlos G., et al.
Publicado: (2024)

Expert-Guided LLM Reasoning for Battery Discovery: From AI-Driven Hypothesis to Synthesis and Characterization
por: Liu, Shengchao, et al.
Publicado: (2025)

Entropy-Guided Loop: Achieving Reasoning through Uncertainty-Aware Generation
por: Correa, Andrew G. A., et al.
Publicado: (2025)

LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks
por: Kambhampati, Subbarao, et al.
Publicado: (2024)

A Real-World WebAgent with Planning, Long Context Understanding, and Program Synthesis
por: Gur, Izzeddin, et al.
Publicado: (2023)

Reinforcement Learning for Long-Horizon Unordered Tasks: From Boolean to Coupled Reward Machines
por: Levina, Kristina, et al.
Publicado: (2025)

Understanding Sample Generation Strategies for Learning Heuristic Functions in Classical Planning
por: Bettker, R. V., et al.
Publicado: (2022)

Gradient-Based Program Synthesis with Neurally Interpreted Languages
por: Macfarlane, Matthew V., et al.
Publicado: (2026)

Can LLMs Guide Their Own Exploration? Gradient-Guided Reinforcement Learning for LLM Reasoning
por: Liang, Zhenwen, et al.
Publicado: (2025)

MobileLLM-Flash: Latency-Guided On-Device LLM Design for Industry Scale Deployment
por: Huang, Hanxian, et al.
Publicado: (2026)

Preference Guided Iterated Pareto Referent Optimisation for Accessible Route Planning
por: Speziali, Paolo, et al.
Publicado: (2026)

LLM Reasoning with Process Rewards for Outcome-Guided Steps
por: Rezaei, Mohammad, et al.
Publicado: (2026)

Policy Guided Tree Search for Enhanced LLM Reasoning
por: Li, Yang
Publicado: (2025)

Enhancing LLM Planning Capabilities through Intrinsic Self-Critique
por: Bohnet, Bernd, et al.
Publicado: (2025)

Reinforcement Learning-based Heuristics to Guide Domain-Independent Dynamic Programming
por: Narita, Minori, et al.
Publicado: (2025)

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

Symmetry-Constrained Language-Guided Program Synthesis for Discovering Governing Equations from Noisy and Partial Observations
por: Baig, Mirza Samad Ahmed, et al.
Publicado: (2026)

Time To Impeach LLM-as-a-Judge: Programs are the Future of Evaluation
por: Huang, Tzu-Heng, et al.
Publicado: (2025)

Memory-Based Advantage Shaping for LLM-Guided Reinforcement Learning
por: Nourzad, Narjes, et al.
Publicado: (2026)

Minimizing Hyperbolic Embedding Distortion with LLM-Guided Hierarchy Restructuring
por: Ayoughi, Melika, et al.
Publicado: (2025)

Guiding Exploration in Reinforcement Learning Through LLM-Augmented Observations
por: Jain, Vaibhav, et al.
Publicado: (2025)

A Practical Guide for Evaluating LLMs and LLM-Reliant Systems
por: Rudd, Ethan M., et al.
Publicado: (2025)

LLM-Guided Dynamic-UMAP for Personalized Federated Graph Learning
por: Puppala, Sai, et al.
Publicado: (2025)

Intelligent Assistants for the Semiconductor Failure Analysis with LLM-Based Planning Agents
por: Dobrovsky, Aline, et al.
Publicado: (2025)

Inference-Time Computations for LLM Reasoning and Planning: A Benchmark and Insights
por: Parashar, Shubham, et al.
Publicado: (2025)