Imagen de Portada

On the Limit of Language Models as Planning Formalizers

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Huang, Cassie, Zhang, Li
Formato:	Preprint
Publicado:	2024
Materias:	Computation and Language
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

Formal Aspects of Language Modeling
por: Cotterell, Ryan, et al.
Publicado: (2023)

Formal Semantic Control over Language Models
por: Zhang, Yingji
Publicado: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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