notesum.ai

Published at December 9

The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap

cs.AI
cs.CL
cs.SE

Released Date: December 9, 2024

Authors: Yedi Zhang1, Yufan Cai1, Xinyue Zuo1, Xiaokun Luan2, Kailong Wang3, Zhe Hou, Yifan Zhang1, Zhiyuan Wei4, Meng Sun2, Jun Sun5, Jing Sun6, Jin Song Dong1

Aff.: 1National University of Singapore; 2Peking University; 3Huazhong University of Science and Technology; 4Beijing Institute of Technology; 5Singapore Management University; 6University of Auckland

Arxiv: http://arxiv.org/pdf/2412.06512v1