Buchumschlag

Language Model Planners do not Scale, but do Formalizers?

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Jiang, Owen, Huang, Cassie, Sabharwal, Ashish, Zhang, Li
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Computation and Language
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Language Model as Planner and Formalizer under Constraints
von: Huang, Cassie, et al.
Veröffentlicht: (2025)

On the Limit of Language Models as Planning Formalizers
von: Huang, Cassie, et al.
Veröffentlicht: (2024)

On the Reasoning Abilities of Masked Diffusion Language Models
von: Svete, Anej, et al.
Veröffentlicht: (2025)

The Illusion of State in State-Space Models
von: Merrill, William, et al.
Veröffentlicht: (2024)

The Expressive Power of Transformers with Chain of Thought
von: Merrill, William, et al.
Veröffentlicht: (2023)

Understanding the Logic of Direct Preference Alignment through Logic
von: Richardson, Kyle, et al.
Veröffentlicht: (2024)

Leveraging In-Context Learning for Language Model Agents
von: Gupta, Shivanshu, et al.
Veröffentlicht: (2025)

Why Are Linear RNNs More Parallelizable?
von: Merrill, William, et al.
Veröffentlicht: (2026)

Exact Expressive Power of Transformers with Padding
von: Merrill, William, et al.
Veröffentlicht: (2025)

Leveraging Code to Improve In-context Learning for Semantic Parsing
von: Bogin, Ben, et al.
Veröffentlicht: (2023)

Revisiting Padded Transformer Expressivity: Which Architectural Choices Matter and Which Don't
von: Svete, Anej, et al.
Veröffentlicht: (2026)

ADaPT: As-Needed Decomposition and Planning with Language Models
von: Prasad, Archiki, et al.
Veröffentlicht: (2023)

Vision Language Models Cannot Plan, but Can They Formalize?
von: He, Muyu, et al.
Veröffentlicht: (2025)

Convert Language Model into a Value-based Strategic Planner
von: Wang, Xiaoyu, et al.
Veröffentlicht: (2025)

Octo-planner: On-device Language Model for Planner-Action Agents
von: Chen, Wei, et al.
Veröffentlicht: (2024)

DIP: Dynamic In-Context Planner For Diffusion Language Models
von: Li, Yang, et al.
Veröffentlicht: (2026)

Formal Aspects of Language Modeling
von: Cotterell, Ryan, et al.
Veröffentlicht: (2023)

Answer, Assemble, Ace: Understanding How LMs Answer Multiple Choice Questions
von: Wiegreffe, Sarah, et al.
Veröffentlicht: (2024)

End-to-end Planner Training for Language Modeling
von: Cornille, Nathan, et al.
Veröffentlicht: (2024)

Formal Semantic Control over Language Models
von: Zhang, Yingji
Veröffentlicht: (2026)

Conversational Disease Diagnosis via External Planner-Controlled Large Language Models
von: Sun, Zhoujian, et al.
Veröffentlicht: (2024)

Unifying Inference-Time Planning Language Generation
von: Kagitha, Prabhu Prakash, et al.
Veröffentlicht: (2025)

ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning
von: Lin, Bill Yuchen, et al.
Veröffentlicht: (2025)

Data-driven Discovery with Large Generative Models
von: Majumder, Bodhisattwa Prasad, et al.
Veröffentlicht: (2024)

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

Large Language Models are Learnable Planners for Long-Term Recommendation
von: Shi, Wentao, et al.
Veröffentlicht: (2024)

Bias Runs Deep: Implicit Reasoning Biases in Persona-Assigned LLMs
von: Gupta, Shashank, et al.
Veröffentlicht: (2023)

Plug-and-Play Policy Planner for Large Language Model Powered Dialogue Agents
von: Deng, Yang, et al.
Veröffentlicht: (2023)

TravelPlanner: A Benchmark for Real-World Planning with Language Agents
von: Xie, Jian, et al.
Veröffentlicht: (2024)

NILE: Formalizing Natural-Language Descriptions of Formal Languages
von: Kneisel, Tristan, et al.
Veröffentlicht: (2026)

A Reality Check of Language Models as Formalizers on Constraint Satisfaction Problems
von: Amonkar, Rikhil, et al.
Veröffentlicht: (2025)

QualEval: Qualitative Evaluation for Model Improvement
von: Murahari, Vishvak, et al.
Veröffentlicht: (2023)

Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?
von: Jiang, Jin, et al.
Veröffentlicht: (2025)

Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
von: Li, Zelong, et al.
Veröffentlicht: (2024)

Flex-TravelPlanner: A Benchmark for Flexible Planning with Language Agents
von: Oh, Juhyun, et al.
Veröffentlicht: (2025)

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

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

DiscoveryBench: Towards Data-Driven Discovery with Large Language Models
von: Majumder, Bodhisattwa Prasad, et al.
Veröffentlicht: (2024)

Can Large Language Models be Good Path Planners? A Benchmark and Investigation on Spatial-temporal Reasoning
von: Aghzal, Mohamed, et al.
Veröffentlicht: (2023)

FMC: Formalization of Natural Language Mathematical Competition Problems
von: Xie, Jiaxuan, et al.
Veröffentlicht: (2025)