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

Scalable Verified Training for Provably Robust Image Classification., , , , , , , , and . ICCV, page 4841-4850. IEEE, (2019)Analysing Mathematical Reasoning Abilities of Neural Models, , , and . (2019)cite arxiv:1904.01557.Towards transformation-resilient provenance detection of digital media., , , , , and . CoRR, (2020)Solving Mixed Integer Programs Using Neural Networks., , , , , , , , , and 9 other author(s). CoRR, (2020)Mathematical discoveries from program search with large language models., , , , , , , , , and 2 other author(s). Nat., 625 (7995): 468-475 (January 2024)Improved protein structure prediction using potentials from deep learning., , , , , , , , , and 9 other author(s). Nat., 577 (7792): 706-710 (2020)Efficient Neural Network Verification with Exactness Characterization., , , , , and . UAI, volume 115 of Proceedings of Machine Learning Research, page 497-507. AUAI Press, (2019)Training Generative Adversarial Networks by Solving Ordinary Differential Equations., , , , , , and . NeurIPS, (2020)Self-supervised Adversarial Robustness for the Low-label, High-data Regime., , , , and . ICLR, OpenReview.net, (2021)A Dual Approach to Verify and Train Deep Networks., , , , and . IJCAI, page 6156-6160. ijcai.org, (2019)