ML Anthology

Liu, Zhiming

2 publications

AAAI 2023 Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers Xia Zeng, Zhengfeng Yang, Li Zhang, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu
CVPR 2019 Robustness Verification of Classification Deep Neural Networks via Linear Programming Wang Lin, Zhengfeng Yang, Xin Chen, Qingye Zhao, Xiangkun Li, Zhiming Liu, Jifeng He