Jiameng Fan

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 20

Top Topics

Gaussian Process

Top Venues

Publications

Feisi Fu, Zhilu Wang, Weichao Zhou, Yixuan Wang, Jiameng Fan, Chao Huang, Qi Zhu, Xin Chen, Wenchao Li
REGLO: Provable Neural Network Repair for Global Robustness Properties. AAAI (2024)
Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (3) (2024)
Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. CoRR (2023)
Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling, Qi Zhu
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@SAFECOMP (2022)
Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. ATVA (2022)
Jiameng Fan, Wenchao Li
DRIBO: Robust Deep Reinforcement Learning via Multi-View Information Bottleneck. ICML (2022)
Jiameng Fan, Wenchao Li
Robust Deep Reinforcement Learning via Multi-View Information Bottleneck. CoRR (2021)
Jiameng Fan, Wenchao Li
Adversarial Training and Provable Robustness: A Tale of Two Objectives. AAAI (2021)
Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. CoRR (2021)
Jiameng Fan, Wenchao Li
Adversarial Training and Provable Robustness: A Tale of Two Objectives. CoRR (2020)
Qi Zhu, Wenchao Li, Hyoseung Kim, Yecheng Xiang, Kacper Wardega, Zhilu Wang, Yixuan Wang, Hengyi Liang, Chao Huang, Jiameng Fan, Hyunjong Choi
Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper. ICCAD (2020)
Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu
Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li, Qi Zhu
ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems. ATVA (2020)
Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH (2020)
Jingyang Zhou, Xiongkui Zhang, Jiameng Fan
Pipelined implementation of serial comparison based iterative sort on FPGA. AIAM (2020)
Jiameng Fan, Wenchao Li
Safety-Guided Deep Reinforcement Learning via Online Gaussian Process Estimation. CoRR (2019)
Jiameng Fan, Chao Huang, Wenchao Li, Xin Chen, Qi Zhu
Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper. ICCAD (2019)
Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu
ReachNN: Reachability Analysis of Neural-Network Controlled Systems. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu
ReachNN: Reachability Analysis of Neural-Network Controlled Systems. CoRR (2019)
Gao Huang, Jiameng Fan, Weimin Zhang, Tony Xiao, Fei Meng, Marco Ceccarelli, Qiang Huang
A master-slave control system for lower limb rehabilitation robot with pedal-actuated exoskeleton. RCAR (2016)