TY  - RPRT
TI  - Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
AU  - Zelong Li
AU  - Wenyue Hua
AU  - Hao Wang
AU  - He Zhu
AU  - Yongfeng Zhang
PY  - 2024
UR  - https://arxiv.org/abs/2402.00798
ID  - 2402.00798
ER  -