@misc{indiciaed1d15321f6d7,
  title = {The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap},
  author = {Yedi Zhang and Yufan Cai and Xinyue Zuo and Xiaokun Luan and Kailong Wang and Zhe Hou and Yifan Zhang and Zhiyuan Wei and Meng Sun and Jun Sun and Jing Sun and Jin Song Dong},
  year = {2024},
  url = {https://arxiv.org/abs/2412.06512},
  note = {Source identifier: 2412.06512}
}