Author of the publication

Efficient Neural Network Verification with Exactness Characterization.

, , , , , and . UAI, volume 115 of Proceedings of Machine Learning Research, page 497-507. AUAI Press, (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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Toward Evaluating Robustness of Deep Reinforcement Learning with Continuous Control., , , , , , and . ICLR, OpenReview.net, (2020)Towards Stable and Efficient Training of Verifiably Robust Neural Networks., , , , , , , and . ICLR, OpenReview.net, (2020)Graph based distributed control of non-holonomic vehicles endowed with local positioning information engaged in escorting missions., , and . ICRA, page 3207-3214. IEEE, (2010)Revisiting adapters with adversarial training., , and . ICLR, OpenReview.net, (2023)Verification of Non-Linear Specifications for Neural Networks., , , , , , , , and . ICLR (Poster), OpenReview.net, (2019)Data Augmentation Can Improve Robustness., , , , , and . NeurIPS, page 29935-29948. (2021)Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation., , , , , , , and . EMNLP/IJCNLP (1), page 4081-4091. Association for Computational Linguistics, (2019)A Framework for robustness Certification of Smoothed Classifiers using F-Divergences., , , , , , , , and . ICLR, OpenReview.net, (2020)A Dual Approach to Verify and Train Deep Networks., , , , and . IJCAI, page 6156-6160. ijcai.org, (2019)Bayesian rendezvous for distributed robotic systems., and . IROS, page 2765-2771. IEEE, (2011)