Cover Image

On the Limit of Language Models as Planning Formalizers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Huang, Cassie, Zhang, Li
Format:	Preprint
Published:	2024
Subjects:	Computation and Language
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Language Model Planners do not Scale, but do Formalizers?
by: Jiang, Owen, et al.
Published: (2026)

Language Model as Planner and Formalizer under Constraints
by: Huang, Cassie, et al.
Published: (2025)

Vision Language Models Cannot Plan, but Can They Formalize?
by: He, Muyu, et al.
Published: (2025)

Unifying Inference-Time Planning Language Generation
by: Kagitha, Prabhu Prakash, et al.
Published: (2025)

Robust Asynchronous Planning via Auto-Formalization
by: Zhang, Jiayi, et al.
Published: (2026)

Formal Aspects of Language Modeling
by: Cotterell, Ryan, et al.
Published: (2023)

Formal Semantic Control over Language Models
by: Zhang, Yingji
Published: (2026)

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

Surgical Action Planning with Large Language Models
by: Xu, Mengya, et al.
Published: (2025)

Formality is Favored: Unraveling the Learning Preferences of Large Language Models on Data with Conflicting Knowledge
by: Li, Jiahuan, et al.
Published: (2024)

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

NILE: Formalizing Natural-Language Descriptions of Formal Languages
by: Kneisel, Tristan, et al.
Published: (2026)

A Reality Check of Language Models as Formalizers on Constraint Satisfaction Problems
by: Amonkar, Rikhil, et al.
Published: (2025)

PlanGPT: Enhancing Urban Planning with Tailored Language Model and Efficient Retrieval
by: Zhu, He, et al.
Published: (2024)

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

From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
by: Cao, Jialun, et al.
Published: (2025)

How Proficient Are Large Language Models in Formal Languages? An In-Depth Insight for Knowledge Base Question Answering
by: Liu, Jinxin, et al.
Published: (2024)

FMC: Formalization of Natural Language Mathematical Competition Problems
by: Xie, Jiaxuan, et al.
Published: (2025)

The Chameleon's Limit: Investigating Persona Collapse and Homogenization in Large Language Models
by: Xiao, Yunze, et al.
Published: (2026)

Model Hemorrhage and the Robustness Limits of Large Language Models
by: Ma, Ziyang, et al.
Published: (2025)

Large Language Models are Limited in Out-of-Context Knowledge Reasoning
by: Hu, Peng, et al.
Published: (2024)

Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming
by: Hao, Yilun, et al.
Published: (2024)

Recognizing Limits: Investigating Infeasibility in Large Language Models
by: Zhang, Wenbo, et al.
Published: (2024)

Semformer: Transformer Language Models with Semantic Planning
by: Yin, Yongjing, et al.
Published: (2024)

The Depth Ceiling: On the Limits of Large Language Models in Discovering Latent Planning
by: Xu, Yi, et al.
Published: (2026)

GraphLAMA: Enabling Efficient Adaptation of Graph Language Models with Limited Annotations
by: Chen, Junze, et al.
Published: (2025)

Exploring the Limitations of Large Language Models in Compositional Relation Reasoning
by: Zhao, Jinman, et al.
Published: (2024)

Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?
by: Jiang, Jin, et al.
Published: (2025)

Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion
by: Xu, Ziyao, et al.
Published: (2025)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
by: Xiong, Jing, et al.
Published: (2026)

Proof Flow: Preliminary Study on Generative Flow Network Language Model Tuning for Formal Reasoning
by: Ho, Matthew, et al.
Published: (2024)

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

PlanGPT-VL: Enhancing Urban Planning with Domain-Specific Vision-Language Models
by: Zhu, He, et al.
Published: (2025)

On Retrieval Augmentation and the Limitations of Language Model Training
by: Chiang, Ting-Rui, et al.
Published: (2023)

Comparative Analysis of Listwise Reranking with Large Language Models in Limited-Resource Language Contexts
by: Shen, Yanxin, et al.
Published: (2024)

What's the Plan? Evaluating and Developing Planning-Aware Techniques for Language Models
by: Hirsch, Eran, et al.
Published: (2024)

Distilling Instruction-following Abilities of Large Language Models with Task-aware Curriculum Planning
by: Yue, Yuanhao, et al.
Published: (2024)

MHPP: Exploring the Capabilities and Limitations of Language Models Beyond Basic Code Generation
by: Dai, Jianbo, et al.
Published: (2024)

SAP-Bench: Benchmarking Multimodal Large Language Models in Surgical Action Planning
by: Xu, Mengya, et al.
Published: (2025)

Fine-Tuning Language Models Using Formal Methods Feedback
by: Yang, Yunhao, et al.
Published: (2023)