ResearchTrend.AI
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

Zelong Li
Wenyue Hua
Hao Wang
He Zhu
Yongfeng Zhang
ArXivPDFHTML

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

4 / 4 papers shown
Title
Generative Evaluation of Complex Reasoning in Large Language Models
Generative Evaluation of Complex Reasoning in Large Language Models
Haowei Lin
X. Wang
Ruilin Yan
Baizhou Huang
Haotian Ye
Jianhua Zhu
Zihao Wang
James Y. Zou
Jianzhu Ma
Yitao Liang
ReLM
ELM
LRM
57
42
0
03 Apr 2025
War and Peace (WarAgent): Large Language Model-based Multi-Agent Simulation of World Wars
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
90
42
0
28 Nov 2023
A Distributional Lens for Multi-Aspect Controllable Text Generation
A Distributional Lens for Multi-Aspect Controllable Text Generation
Yuxuan Gu
Xiaocheng Feng
Sicheng Ma
Lingyuan Zhang
Heng Gong
Bing Qin
88
28
0
06 Oct 2022
Swin2SR: SwinV2 Transformer for Compressed Image Super-Resolution and Restoration
Swin2SR: SwinV2 Transformer for Compressed Image Super-Resolution and Restoration
Marcos V. Conde
Ui-Jin Choi
Maxime Burchi
Radu Timofte
ViT
24
85
0
22 Sep 2022