( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper.

, , , , и . ICCAD, стр. 1-8. ACM, (2019)

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.

Jingjing Fan

Fan Zhang

Diomandé Fan

Shaohua Fan

Fan Wang

 

Другие публикации лиц с тем же именем

Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks., , , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39 (11): 3323-3335 (2020)POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems., , , , и . ATVA, том 13505 из Lecture Notes in Computer Science, стр. 414-430. Springer, (2022)POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems., , , , , , , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 43 (3): 994-1007 (марта 2024)Robust Deep Reinforcement Learning via Multi-View Information Bottleneck., и . CoRR, (2021)REGLO: Provable Neural Network Repair for Global Robustness Properties., , , , , , , , и . AAAI, стр. 12061-12071. AAAI Press, (2024)Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper., , , , и . ICCAD, стр. 1-8. ACM, (2019)POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems., , , , , , , , и . CoRR, (2023)ReachNN: Reachability Analysis of Neural-Network Controlled Systems., , , , и . CoRR, (2019)Adversarial Training and Provable Robustness: A Tale of Two Objectives., и . CoRR, (2020)Adversarial Training and Provable Robustness: A Tale of Two Objectives., и . AAAI, стр. 7367-7376. AAAI Press, (2021)