arrow
Back

赵涌鑫 (Yongxin Zhao)

chinese academy of sciences

10H-index
97Paper Count
410Citation Count
Published Papers 10
Publication Date
err2026-03-15
err0
PREAI
errYan Xu; Jialu Shi; Xin Wang; Tao Wang; Yongxin Zhao; Yuanhang Yao; Quancai Sun; G. S. Vijaya Raghavan; Jing Huang; Jin Wang
errShare
errSave
err2025-12-23
err0
PREAI
errWenxian Su; Xi Wu; Yongxin Zhao
errShare
errSave
err2025-11-26
err0
PREAI
errPengcheng Dai; Yongxin Zhao; Lin Shi; Yan Feng; Xiangjian Wang; Yang Li; Debin Kong; Xinghao Zhang
errShare
errSave
err2023-08-08
err1
PREAI
errChao, Miantao; Geng, Yueqi; Zhao, Yongxin
errShare
errSave
err2021-09-01
err13
PREAI
errLv, Jin; Zhao, Yongxin; Wu, Xi; Li, Yongjian; Wang, Qiang
errShare
errSave
err2019-02-26
err4
PREAI
errJiang, Jian-Min; Zhu, Huibiao; Li, Qin; Zhao, Yongxin; Hong, Zhong; Zhang, Shi; Gong, Ping
errShare
errSave
err2019-01-01
err15
errOAAI
errZhang, Peng; Liu, Yu; Shi, Jianqi; Huang, Yanhong; Zhao, Yongxin
errShare
errSave
err2015-02-03
err4
PREAI
errHuang, Yanhong; He, Jifeng; Zhu, Huibiao; Zhao, Yongxin; Shi, Jianqi; Qin, Shengchao
errShare
errSave
err2014-08-26
err1
PREAI
errLi, Qin; Zhao, Yongxin; Zhu, Huibiao; He, Jifeng
errShare
errSave
err2013-01-28
err6
PREAI
errWang, Zheng; Pu, Geguang; Li, Jiangwen; Chen, Yuxiang; Zhao, Yongxin; Chen, Mingsong; Gu, Bin; Yang, Mengfei; He, Jifeng
errShare
errSave

Research Directions

可信人工智能 :因果推断大模型AI安全AI鲁棒性可解释和公平性 可信软件工程 :智能系统网络协议等各类系统及软件的可信建模分析验证和应用研究 形式化方法 :程序统一理论形式语义理论形式建模与分析形式验证定理证明