Jiameng Fan

According to our database, Jiameng Fan authored at least 17 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.

Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., March, 2024

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

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.

Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu

CoRR, 2023

2022

Towards provably safe and robust learning-enabled systems

Jiameng Fan

PhD thesis, 2022

DRIBO: Robust Deep Reinforcement Learning via Multi-View Information Bottleneck.

Jiameng Fan, Wenchao Li

Proceedings of the International Conference on Machine Learning, 2022

POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems.

Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Robust Deep Reinforcement Learning via Multi-View Information Bottleneck.

Jiameng Fan, Wenchao Li

CoRR, 2021

Adversarial Training and Provable Robustness: A Tale of Two Objectives.

Jiameng Fan, Wenchao Li

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks.

Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

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

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems.

Jiameng Fan, Chao Huang, Xin Chen, Wenchao Li, Qi Zhu

Proceedings of the Automated Technology for Verification and Analysis, 2020

ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

Pipelined implementation of serial comparison based iterative sort on FPGA.

Jingyang Zhou, Xiongkui Zhang, Jiameng Fan

Proceedings of the AIAM2020: 2nd International Conference on Artificial Intelligence and Advanced Manufacture, 2020

2019

ReachNN: Reachability Analysis of Neural-Network Controlled Systems.

Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu

ACM Trans. Embed. Comput. Syst., 2019

Safety-Guided Deep Reinforcement Learning via Online Gaussian Process Estimation.

Jiameng Fan, Wenchao Li

CoRR, 2019

Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper.

Jiameng Fan, Chao Huang, Wenchao Li, Xin Chen, Qi Zhu

Proceedings of the International Conference on Computer-Aided Design, 2019

2016

A master-slave control system for lower limb rehabilitation robot with pedal-actuated exoskeleton.

Gao Huang, Jiameng Fan, Weimin Zhang, Tony Xiao, Fei Meng, Marco Ceccarelli, Qiang Huang

Proceedings of the IEEE International Conference on Real-time Computing and Robotics, 2016