| 2024 | AAAI | REGLO: Provable Neural Network Repair for Global Robustness Properties. | Feisi Fu, Zhilu Wang, Weichao Zhou, Yixuan Wang, Jiameng Fan, Chao Huang, Qi Zhu, Xin Chen, Wenchao Li |
| 2022 | ATVA | POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. | Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu |
| 2022 | ICML | DRIBO: Robust Deep Reinforcement Learning via Multi-View Information Bottleneck. | Jiameng Fan, Wenchao Li |
| 2021 | AAAI | Adversarial Training and Provable Robustness: A Tale of Two Objectives. | Jiameng Fan, Wenchao Li |
| 2020 | ATVA | ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems. | Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li, Qi Zhu |
| 2020 | ICCAD | Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper. | Qi Zhu, Wenchao Li, Hyoseung Kim, Yecheng Xiang, Kacper Wardega, Zhilu Wang, Yixuan Wang, Hengyi Liang, Chao Huang, Jiameng Fan, Hyunjong Choi |
| 2019 | ICCAD | Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper. | Jiameng Fan, Chao Huang, Wenchao Li, Xin Chen, Qi Zhu |