Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Learning to superoptimize programs., , , , und . ICLR (Poster), OpenReview.net, (2017)Scalable Verified Training for Provably Robust Image Classification., , , , , , , , und . ICCV, Seite 4841-4850. IEEE, (2019)Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications., , , , , , , und . NeurIPS, Seite 11136-11147. (2021)Efficient Linear Programming for Dense CRFs., , , , , und . CVPR, Seite 2934-2942. IEEE Computer Society, (2017)Lagrangian Decomposition for Neural Network Verification., , , , , , und . UAI, Volume 124 von Proceedings of Machine Learning Research, Seite 370-379. AUAI Press, (2020)Verification of Non-Linear Specifications for Neural Networks., , , , , , , , und . ICLR (Poster), OpenReview.net, (2019)Knowing When to Stop: Evaluation and Verification of Conformity to Output-Size Specifications., , , , , und . CVPR, Seite 12260-12269. Computer Vision Foundation / IEEE, (2019)Formal verification of neural networks. University of Oxford, UK, (2019)British Library, EThOS.Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming., , , , , , , , , und 1 andere Autor(en). NeurIPS, (2020)A Unified View of Piecewise Linear Neural Network Verification., , , , und . NeurIPS, Seite 4795-4804. (2018)