Jiameng Fan

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