:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Huang, Cassie, Mohan, Stuti, Yang, Ziyi, Tellex, Stefanie, Zhang, Li
Format:	Preprint
Published:	2025
Subjects:	Computation and Language
Online Access:	https://arxiv.org/abs/2510.05486
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)

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

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

A Survey of Robotic Language Grounding: Tradeoffs between Symbols and Embeddings
by: Cohen, Vanya, et al.
Published: (2024)

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

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

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

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

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)

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

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

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

Formal Constraints on Dependency Syntax
by: Gómez-Rodríguez, et al.
Published: (2026)

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

Bias in, Bias out: Annotation Bias in Multilingual Large Language Models
by: Cui, Xia, et al.
Published: (2025)

MixRea: Benchmarking Explicit-Implicit Reasoning in Large Language Models
by: Cai, Yuanqing, et al.
Published: (2026)

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

Convert Language Model into a Value-based Strategic Planner
by: Wang, Xiaoyu, 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)

TourPlanner: A Competitive Consensus Framework with Constraint-Gated Reinforcement Learning for Travel Planning
by: Wang, Yinuo, et al.
Published: (2026)

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

PCRLLM: Proof-Carrying Reasoning with Large Language Models under Stepwise Logical Constraints
by: Li, Tangrui, et al.
Published: (2025)

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

The Language of Bargaining: Linguistic Effects in LLM Negotiations
by: Sinha, Stuti, et al.
Published: (2026)

CAPE: Corrective Actions from Precondition Errors using Large Language Models
by: Raman, Shreyas Sundara, et al.
Published: (2022)

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

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

SPELL: Self-Play Reinforcement Learning for Evolving Long-Context Language Models
by: Yang, Ziyi, et al.
Published: (2025)

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

FMC: Formalization of Natural Language Mathematical Competition Problems
by: Xie, Jiaxuan, 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)

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

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

Collaborative Evolution: Multi-Round Learning Between Large and Small Language Models for Emergent Fake News Detection
by: Zhou, Ziyi, et al.
Published: (2025)

Language-based Valence and Arousal Expressions between the United States and China: a Cross-Cultural Examination
by: Cho, Young-Min, et al.
Published: (2024)

Mitigating Hallucinations in Large Vision-Language Models by Adaptively Constraining Information Flow
by: Bai, Jiaqi, et al.
Published: (2025)

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

NSP: A Neuro-Symbolic Natural Language Navigational Planner
by: English, William, et al.
Published: (2024)

Distribution-Aware Companding Quantization of Large Language Models
by: Radhakrishnan, Athul, et al.
Published: (2026)