Sun, Jing
5 publications
ICML
2025
Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods
Yedi Zhang, Yufan Cai, Xinyue Zuo, Xiaokun Luan, Kailong Wang, Zhe Hou, Yifan Zhang, Zhiyuan Wei, Meng Sun, Jun Sun, Jing Sun, Jin Song Dong IJCAI
2020
SEBF: A Single-Chain Based Extension Model of Blockchain for Fintech
Yimu Ji, Weiheng Gu, Fei Chen, Xiaoying Xiao, Jing Sun, Shangdong Liu, Jing He, Yunyao Li, Kaixiang Zhang, Fen Mei, Fei Wu