Cover Image

Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hao, Yilun, Zhang, Yang, Fan, Chuchu
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Computation and Language
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools
by: Hao, Yilun, et al.
Published: (2024)

Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning
by: Hao, Yilun, et al.
Published: (2025)

Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generation
by: Chen, Yongchao, et al.
Published: (2025)

PRompt Optimization in Multi-Step Tasks (PROMST): Integrating Human Feedback and Heuristic-based Sampling
by: Chen, Yongchao, et al.
Published: (2024)

CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance
by: Chen, Yongchao, et al.
Published: (2025)

Iterative Formalization and Planning in Partially Observable Environments
by: Gong, Liancheng, et al.
Published: (2025)

Planning with Logical Graph-based Language Model for Instruction Generation
by: Zhang, Fan, et al.
Published: (2023)

R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning
by: Chen, Yongchao, et al.
Published: (2025)

Automating the Generation of Prompts for LLM-based Action Choice in PDDL Planning
by: Stein, Katharina, et al.
Published: (2023)

Plan Then Action:High-Level Planning Guidance Reinforcement Learning for LLM Reasoning
by: Dou, Zhihao, et al.
Published: (2025)

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

Planning to Explore: Curiosity-Driven Planning for LLM Test Generation
by: Amayuelas, Alfonso, et al.
Published: (2026)

Planetarium: A Rigorous Benchmark for Translating Text to Structured Planning Languages
by: Zuo, Max, et al.
Published: (2024)

DivScore: Zero-Shot Detection of LLM-Generated Text in Specialized Domains
by: Chen, Zhihui, et al.
Published: (2025)

Zero-Shot Detection of LLM-Generated Text via Implicit Reward Model
by: Liu, Runheng, et al.
Published: (2026)

Generating Planning Feedback for Open-Ended Programming Exercises with LLMs
by: Demirtaş, Mehmet Arif, et al.
Published: (2025)

Evaluating Zero-Shot Long-Context LLM Compression
by: Wang, Chenyu, et al.
Published: (2024)

Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
by: Li, Zelong, et al.
Published: (2024)

Novelty-based Tree-of-Thought Search for LLM Reasoning and Planning
by: Hamm, Leon, et al.
Published: (2026)

Diffusion-ES: Gradient-free Planning with Diffusion for Autonomous Driving and Zero-Shot Instruction Following
by: Yang, Brian, et al.
Published: (2024)

Glimpse: Enabling White-Box Methods to Use Proprietary Models for Zero-Shot LLM-Generated Text Detection
by: Bao, Guangsheng, et al.
Published: (2024)

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching
by: Meng, Yue, et al.
Published: (2025)

Learning to Plan Before Answering: Self-Teaching LLMs to Learn Abstract Plans for Problem Solving
by: Zhang, Jin, et al.
Published: (2025)

LM-Infinite: Zero-Shot Extreme Length Generalization for Large Language Models
by: Han, Chi, et al.
Published: (2023)

HiPlan: Hierarchical Planning for LLM-Based Agents with Adaptive Global-Local Guidance
by: Li, Ziyue, et al.
Published: (2025)

CorNav: Autonomous Agent with Self-Corrected Planning for Zero-Shot Vision-and-Language Navigation
by: Liang, Xiwen, et al.
Published: (2023)

CursorCore: Assist Programming through Aligning Anything
by: Jiang, Hao, et al.
Published: (2024)

Chasing Progress, Not Perfection: Revisiting Strategies for End-to-End LLM Plan Generation
by: Huang, Sukai, et al.
Published: (2024)

Extracting Events Like Code: A Multi-Agent Programming Framework for Zero-Shot Event Extraction
by: Guo, Quanjiang, et al.
Published: (2025)

Robust Planning with Compound LLM Architectures: An LLM-Modulo Approach
by: Gundawar, Atharva, et al.
Published: (2024)

Planning in the LLM Era: Building for Reliability and Efficiency
by: Katz, Michael, et al.
Published: (2026)

Ask-before-Plan: Proactive Language Agents for Real-World Planning
by: Zhang, Xuan, et al.
Published: (2024)

Planning In Natural Language Improves LLM Search For Code Generation
by: Wang, Evan, et al.
Published: (2024)

PuzzlePlex: Benchmarking Foundation Models on Reasoning and Planning with Puzzles
by: Long, Yitao, et al.
Published: (2025)

Exploring RL-based LLM Training for Formal Language Tasks with Programmed Rewards
by: Padula, Alexander G., et al.
Published: (2024)

RAPID: Efficient Retrieval-Augmented Long Text Generation with Writing Planning and Information Discovery
by: Gu, Hongchao, et al.
Published: (2025)

GenQREnsemble: Zero-Shot LLM Ensemble Prompting for Generative Query Reformulation
by: Dhole, Kaustubh, et al.
Published: (2024)

Nova: An Iterative Planning and Search Approach to Enhance Novelty and Diversity of LLM Generated Ideas
by: Hu, Xiang, et al.
Published: (2024)

The Silent Vote: Improving Zero-Shot LLM Reliability by Aggregating Semantic Neighborhoods
by: Badhe, Sanket, et al.
Published: (2026)

Evaluating Novelty in AI-Generated Research Plans Using Multi-Workflow LLM Pipelines
by: Saraogi, Devesh, et al.
Published: (2025)