Author of the publication

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

Learning to superoptimize programs., , , , and . ICLR (Poster), OpenReview.net, (2017)Scalable Verified Training for Provably Robust Image Classification., , , , , , , , and . ICCV, page 4841-4850. IEEE, (2019)Efficient Linear Programming for Dense CRFs., , , , , and . CVPR, page 2934-2942. IEEE Computer Society, (2017)Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications., , , , , , , and . NeurIPS, page 11136-11147. (2021)Lagrangian Decomposition for Neural Network Verification., , , , , , and . UAI, volume 124 of Proceedings of Machine Learning Research, page 370-379. AUAI Press, (2020)Expressive Losses for Verified Robustness via Convex Combinations., , , , , and . ICLR, OpenReview.net, (2024)Scaling the Convex Barrier with Active Sets., , , , and . ICLR, OpenReview.net, (2021)A Unified View of Piecewise Linear Neural Network Verification., , , , and . NeurIPS, page 4795-4804. (2018)Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming., , , , , , , , , and 1 other author(s). NeurIPS, (2020)Efficient Error Certification for Physics-Informed Neural Networks., , , , , and . ICML, OpenReview.net, (2024)