Copertina

Language Model Planners do not Scale, but do Formalizers?

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Jiang, Owen, Huang, Cassie, Sabharwal, Ashish, Zhang, Li
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Computation and Language
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

On the Limit of Language Models as Planning Formalizers
di: Huang, Cassie, et al.
Pubblicazione: (2024)

On the Reasoning Abilities of Masked Diffusion Language Models
di: Svete, Anej, et al.
Pubblicazione: (2025)

The Illusion of State in State-Space Models
di: Merrill, William, et al.
Pubblicazione: (2024)

The Expressive Power of Transformers with Chain of Thought
di: Merrill, William, et al.
Pubblicazione: (2023)

Understanding the Logic of Direct Preference Alignment through Logic
di: Richardson, Kyle, et al.
Pubblicazione: (2024)

Leveraging In-Context Learning for Language Model Agents
di: Gupta, Shivanshu, et al.
Pubblicazione: (2025)

Why Are Linear RNNs More Parallelizable?
di: Merrill, William, et al.
Pubblicazione: (2026)

Exact Expressive Power of Transformers with Padding
di: Merrill, William, et al.
Pubblicazione: (2025)

Leveraging Code to Improve In-context Learning for Semantic Parsing
di: Bogin, Ben, et al.
Pubblicazione: (2023)

Revisiting Padded Transformer Expressivity: Which Architectural Choices Matter and Which Don't
di: Svete, Anej, et al.
Pubblicazione: (2026)

ADaPT: As-Needed Decomposition and Planning with Language Models
di: Prasad, Archiki, et al.
Pubblicazione: (2023)

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

Convert Language Model into a Value-based Strategic Planner
di: Wang, Xiaoyu, et al.
Pubblicazione: (2025)

Octo-planner: On-device Language Model for Planner-Action Agents
di: Chen, Wei, et al.
Pubblicazione: (2024)

DIP: Dynamic In-Context Planner For Diffusion Language Models
di: Li, Yang, et al.
Pubblicazione: (2026)

Formal Aspects of Language Modeling
di: Cotterell, Ryan, et al.
Pubblicazione: (2023)

Answer, Assemble, Ace: Understanding How LMs Answer Multiple Choice Questions
di: Wiegreffe, Sarah, et al.
Pubblicazione: (2024)

End-to-end Planner Training for Language Modeling
di: Cornille, Nathan, et al.
Pubblicazione: (2024)

Formal Semantic Control over Language Models
di: Zhang, Yingji
Pubblicazione: (2026)

Conversational Disease Diagnosis via External Planner-Controlled Large Language Models
di: Sun, Zhoujian, et al.
Pubblicazione: (2024)

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

ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning
di: Lin, Bill Yuchen, et al.
Pubblicazione: (2025)

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

Large Language Models are Learnable Planners for Long-Term Recommendation
di: Shi, Wentao, et al.
Pubblicazione: (2024)

Data-driven Discovery with Large Generative Models
di: Majumder, Bodhisattwa Prasad, et al.
Pubblicazione: (2024)

Bias Runs Deep: Implicit Reasoning Biases in Persona-Assigned LLMs
di: Gupta, Shashank, et al.
Pubblicazione: (2023)

Plug-and-Play Policy Planner for Large Language Model Powered Dialogue Agents
di: Deng, Yang, et al.
Pubblicazione: (2023)

TravelPlanner: A Benchmark for Real-World Planning with Language Agents
di: Xie, Jian, et al.
Pubblicazione: (2024)

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

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

QualEval: Qualitative Evaluation for Model Improvement
di: Murahari, Vishvak, et al.
Pubblicazione: (2023)

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

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

Flex-TravelPlanner: A Benchmark for Flexible Planning with Language Agents
di: Oh, Juhyun, et al.
Pubblicazione: (2025)

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

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

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

DiscoveryBench: Towards Data-Driven Discovery with Large Language Models
di: Majumder, Bodhisattwa Prasad, et al.
Pubblicazione: (2024)

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