Formal-LLM: Integrating Formal Language and Natural Language for
Controllable LLM-based Agents

Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents

1 February 2024

Papers citing "Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents"

18 / 18 papers shown

Title
Planet as a Brain: Towards Internet of AgentSites based on AIOS Server Xiang Zhang Yongfeng Zhang 46 0 0 19 Apr 2025
Generative Evaluation of Complex Reasoning in Large Language Models Haowei Lin Xiang Wang Ruilin Yan Baizhou Huang Haotian Ye Jianhua Zhu Zihao Wang James Zou Jianzhu Ma Yitao Liang ReLM ELM LRM 255 0 0 03 Apr 2025
Dr Genre: Reinforcement Learning from Decoupled LLM Feedback for Generic Text Rewriting Yufei Li John Nham Ganesh Jawahar Lei Shu David C. Uthus Yun-hsuan Sung Chengrun Yang Itai Rolnick Yi Qiao Cong Liu OffRL 70 0 0 09 Mar 2025
MPO: Boosting LLM Agents with Meta Plan Optimization Weimin Xiong Yifan Song Qingxiu Dong Bingchan Zhao Feifan Song Xun Wang Sujian Li LLMAG 86 1 0 04 Mar 2025
CATP-LLM: Empowering Large Language Models for Cost-Aware Tool Planning Duo Wu Yufei Guo Yuan Meng Yanning Zhang Le Sun Zhi Wang 269 0 0 25 Nov 2024
Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming Yilun Hao Yang Zhang Chuchu Fan LLMAG 59 14 0 15 Oct 2024
Internet of Agents: Weaving a Web of Heterogeneous Agents for Collaborative Intelligence Weize Chen Ziming You Ran Li Yitong Guan Chen Qian Chenyang Zhao Cheng Yang Ruobing Xie Zhiyuan Liu Maosong Sun LLMAG 50 36 0 09 Jul 2024
AutoFlow: Automated Workflow Generation for Large Language Model Agents Zelong Li Shuyuan Xu Kai Mei Wenyue Hua Balaji Rama Om Raheja Hao Wang He Zhu Yongfeng Zhang AIFin AI4CE LLMAG 29 13 0 01 Jul 2024
RuleR: Improving LLM Controllability by Rule-based Data Recycling Ming Li Han Chen Chenguang Wang Dang Nguyen Dianqi Li Dinesh Manocha 33 7 0 22 Jun 2024
Ask-before-Plan: Proactive Language Agents for Real-World Planning Xuan Zhang Yang Deng Zifeng Ren See-Kiong Ng Tat-Seng Chua LLMAG LM&Ro 32 15 0 18 Jun 2024
AI Agents Under Threat: A Survey of Key Security Challenges and Future Pathways Zehang Deng Yongjian Guo Changzhou Han Wanlun Ma Junwu Xiong Sheng Wen Yang Xiang 56 26 0 04 Jun 2024
Agent Planning with World Knowledge Model Shuofei Qiao Runnan Fang Ningyu Zhang Yuqi Zhu Xiang Chen Shumin Deng Yong-jia Jiang Pengjun Xie Fei Huang Huajun Chen LLMAG LM&Ro 97 15 0 23 May 2024
AIOS Compiler: LLM as Interpreter for Natural Language Programming and Flow Programming of AI Agents Shuyuan Xu Zelong Li Kai Mei Yongfeng Zhang 47 3 0 11 May 2024
KnowAgent: Knowledge-Augmented Planning for LLM-Based Agents Yuqi Zhu Shuofei Qiao Yixin Ou Shumin Deng N. Zhang Shiwei Lyu Yue Shen Lei Liang Jinjie Gu Huajun Chen LLMAG LM&Ro 83 26 0 05 Mar 2024
War and Peace (WarAgent): Large Language Model-based Multi-Agent Simulation of World Wars Wenyue Hua Lizhou Fan Lingyao Li Kai Mei Jianchao Ji Yingqiang Ge Libby Hemphill Yongfeng Zhang LM&Ro LLMAG 125 92 0 28 Nov 2023
Language is All a Graph Needs Ruosong Ye Caiqi Zhang Runhui Wang Shuyuan Xu Yongfeng Zhang AI4CE 68 151 0 14 Aug 2023
A Distributional Lens for Multi-Aspect Controllable Text Generation Yuxuan Gu Xiaocheng Feng Sicheng Ma Lingyuan Zhang Heng Gong Bing Qin 115 36 0 06 Oct 2022
Swin2SR: SwinV2 Transformer for Compressed Image Super-Resolution and Restoration Marcos V. Conde Ui-Jin Choi Maxime Burchi Radu Timofte ViT 62 136 0 22 Sep 2022