( en | de | ru )

 

Disambiguation of "Fan, Jiameng"

Author of the publication

copydeleteadd this publication to your clipboard
REGLO: Provable Neural Network Repair for Global Robustness Properties.

, , , , , , , , and . AAAI, page 12061-12071. AAAI Press, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Fan Zhang

Hua Fan

Fan Dai

Min Fan

Xiaohua Fan

 

Other publications of authors with the same name

Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks., , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39 (11): 3323-3335 (2020)POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems., , , , and . ATVA, volume 13505 of Lecture Notes in Computer Science, page 414-430. Springer, (2022)REGLO: Provable Neural Network Repair for Global Robustness Properties., , , , , , , , and . AAAI, page 12061-12071. AAAI Press, (2024)Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper., , , , and . ICCAD, page 1-8. ACM, (2019)Pipelined implementation of serial comparison based iterative sort on FPGA., , and . AIAM, page 26-30. ACM, (2020)Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper., , , , , , , , , and 1 other author(s). ICCAD, page 82:1-82:9. IEEE, (2020)POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems., , , , and . CoRR, (2021)Towards provably safe and robust learning-enabled systems. Boston University, USA, (2022)ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , , , , and . ARCH, volume 74 of EPiC Series in Computing, page 107-139. EasyChair, (2020)Safety-Guided Deep Reinforcement Learning via Online Gaussian Process Estimation., and . CoRR, (2019)