Renxiang Wang and Li Zhang
Documentation Retrieval Improves Planning Language Generation.
AACL 2025
Yuan Yuan, Muyu He, Muhammad Adil Shahid, Ziyang Li, Jiani Huang, and Li Zhang
TurnaboutLLM: A Deductive Reasoning Benchmark from Detective Games.
EMNLP 2025
Wenhao Hu, Jinhao Duan, Chunchen Wei, Li Zhang, Yue Zhang and Kaidi Xu
DynaCode: A Dynamic Complexity-Aware Code Benchmark for Evaluating Large Language Models in Code Generation
Findings of ACL 2025
Ceyhun Efe Kayan and Li Zhang
Prototype-Based Dynamic Steering for Large Language Models.
Preprint
Cassie Huang, Stuti Mohan, Ziyi Yang, Stefanie Tellex and Li Zhang
Language Model as Planner and Formalizer under Constraints.
Preprint
Muyu He, Yuxi Zheng, Yuchen Liu, Zijian An, Bill Cai, Jiani Huang, Lifeng Zhou, Feng Liu, Ziyang Li and Li Zhang
Vision Language Models Cannot Plan, but Can They Formalize?
Preprint
Liancheng Gong, Wang Zhu, Jesse Thomason and Li Zhang
Zero-Shot Iterative Formalization and Planning in Partially Observable Environments.
Preprint
Prabhu Prakash Kagitha, Bo Sun, Ishan Desai, Andrew Zhu, Cassie Huang, Manling Li, Ziyang Li and Li Zhang
Unifying Inference-Time Planning Language Generation.
Preprint
Rikhil Amonkar, May Lai, Ronan Le Bras and Li Zhang
Are LLMs Better Formalizers than Solvers on Complex Problems?
Preprint