( en | de | ru )

 

Disambiguation of "Kohli, Pushmeet"

Author of the publication

copydeleteadd this publication to your clipboard
Lagrangian Decomposition for Neural Network Verification.

, , , , , , and . UAI, volume 124 of Proceedings of Machine Learning Research, page 370-379. AUAI Press, (2020)

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.

Pushmeet Kohli

Amitabh Kohli

Jörg Köhli

Georg Kohli

Jagmohan Kohli

 

Other publications of authors with the same name

Self-supervised Adversarial Robustness for the Low-label, High-data Regime., , , , and . ICLR, OpenReview.net, (2021)Training Generative Adversarial Networks by Solving Ordinary Differential Equations., , , , , , and . NeurIPS, (2020)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.Efficient Neural Network Verification with Exactness Characterization., , , , , and . UAI, volume 115 of Proceedings of Machine Learning Research, page 497-507. AUAI Press, (2019)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)Improved protein structure prediction using potentials from deep learning., , , , , , , , , and 9 other author(s). Nat., 577 (7792): 706-710 (2020)CompILE: Compositional Imitation Learning and Execution., , , , , , , and . ICML, volume 97 of Proceedings of Machine Learning Research, page 3418-3428. PMLR, (2019)Lagrangian Decomposition for Neural Network Verification., , , , , , and . UAI, volume 124 of Proceedings of Machine Learning Research, page 370-379. AUAI Press, (2020)