Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Pushmeet Kohli

Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition


Apr 14, 2021
Alessandro De Palma, Rudy Bunel, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar

* Submitted for review to JMLR. This is an extended version of our paper in the UAI-20 conference (arXiv:2002.10410) 

  Access Paper or Ask Questions

Solving Mixed Integer Programs Using Neural Networks


Dec 23, 2020
Vinod Nair, Sergey Bartunov, Felix Gimeno, Ingrid von Glehn, Pawel Lichocki, Ivan Lobov, Brendan O'Donoghue, Nicolas Sonnerat, Christian Tjandraatmadja, Pengming Wang, Ravichandra Addanki, Tharindi Hapuarachchi, Thomas Keck, James Keeling, Pushmeet Kohli, Ira Ktena, Yujia Li, Oriol Vinyals, Yori Zwols


  Access Paper or Ask Questions

Autoencoding Variational Autoencoder


Dec 07, 2020
A. Taylan Cemgil, Sumedh Ghaisas, Krishnamurthy Dvijotham, Sven Gowal, Pushmeet Kohli

* Neurips 2020 

  Access Paper or Ask Questions

Towards transformation-resilient provenance detection of digital media


Nov 14, 2020
Jamie Hayes, Krishnamurthy, Dvijotham, Yutian Chen, Sander Dieleman, Pushmeet Kohli, Norman Casagrande


  Access Paper or Ask Questions

Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming


Nov 03, 2020
Sumanth Dathathri, Krishnamurthy Dvijotham, Alexey Kurakin, Aditi Raghunathan, Jonathan Uesato, Rudy Bunel, Shreya Shankar, Jacob Steinhardt, Ian Goodfellow, Percy Liang, Pushmeet Kohli


  Access Paper or Ask Questions

Training Generative Adversarial Networks by Solving Ordinary Differential Equations


Oct 28, 2020
Chongli Qin, Yan Wu, Jost Tobias Springenberg, Andrew Brock, Jeff Donahue, Timothy P. Lillicrap, Pushmeet Kohli


  Access Paper or Ask Questions

Uncovering the Limits of Adversarial Training against Norm-Bounded Adversarial Examples


Oct 27, 2020
Sven Gowal, Chongli Qin, Jonathan Uesato, Timothy Mann, Pushmeet Kohli


  Access Paper or Ask Questions

Contrastive Training for Improved Out-of-Distribution Detection


Jul 10, 2020
Jim Winkens, Rudy Bunel, Abhijit Guha Roy, Robert Stanforth, Vivek Natarajan, Joseph R. Ledsam, Patricia MacWilliams, Pushmeet Kohli, Alan Karthikesalingam, Simon Kohl, Taylan Cemgil, S. M. Ali Eslami, Olaf Ronneberger


  Access Paper or Ask Questions

Evaluating the Apperception Engine


Jul 09, 2020
Richard Evans, Jose Hernandez-Orallo, Johannes Welbl, Pushmeet Kohli, Marek Sergot

* arXiv admin note: substantial text overlap with arXiv:1910.02227 

  Access Paper or Ask Questions

Strong Generalization and Efficiency in Neural Programs


Jul 08, 2020
Yujia Li, Felix Gimeno, Pushmeet Kohli, Oriol Vinyals


  Access Paper or Ask Questions

Lagrangian Decomposition for Neural Network Verification


Feb 24, 2020
Rudy Bunel, Alessandro De Palma, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar


  Access Paper or Ask Questions

Achieving Robustness in the Wild via Adversarial Mixing with Disentangled Representations


Dec 06, 2019
Sven Gowal, Chongli Qin, Po-Sen Huang, Taylan Cemgil, Krishnamurthy Dvijotham, Timothy Mann, Pushmeet Kohli


  Access Paper or Ask Questions

Reducing Sentiment Bias in Language Models via Counterfactual Evaluation


Nov 08, 2019
Po-Sen Huang, Huan Zhang, Ray Jiang, Robert Stanforth, Johannes Welbl, Jack Rae, Vishal Maini, Dani Yogatama, Pushmeet Kohli


  Access Paper or Ask Questions

Learning Transferable Graph Exploration


Oct 28, 2019
Hanjun Dai, Yujia Li, Chenglong Wang, Rishabh Singh, Po-Sen Huang, Pushmeet Kohli

* To appear in NeurIPS 2019 

  Access Paper or Ask Questions

An Alternative Surrogate Loss for PGD-based Adversarial Testing


Oct 21, 2019
Sven Gowal, Jonathan Uesato, Chongli Qin, Po-Sen Huang, Timothy Mann, Pushmeet Kohli


  Access Paper or Ask Questions

Making sense of sensory input


Oct 05, 2019
Richard Evans, Jose Hernandez-Orallo, Johannes Welbl, Pushmeet Kohli, Marek Sergot


  Access Paper or Ask Questions

CLEVRER: CoLlision Events for Video REpresentation and Reasoning


Oct 03, 2019
Kexin Yi, Chuang Gan, Yunzhu Li, Pushmeet Kohli, Jiajun Wu, Antonio Torralba, Joshua B. Tenenbaum

* The first two authors contributed equally to this work. Project page: http://clevrer.csail.mit.edu/ 

  Access Paper or Ask Questions

Branch and Bound for Piecewise Linear Neural Network Verification


Sep 14, 2019
Rudy Bunel, Jingyue Lu, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli, M. Pawan Kumar


  Access Paper or Ask Questions

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation


Sep 03, 2019
Po-Sen Huang, Robert Stanforth, Johannes Welbl, Chris Dyer, Dani Yogatama, Sven Gowal, Krishnamurthy Dvijotham, Pushmeet Kohli

* Accepted in EMNLP 2019 

  Access Paper or Ask Questions

Adversarial Robustness through Local Linearization


Jul 04, 2019
Chongli Qin, James Martens, Sven Gowal, Dilip Krishnan, Krishnamurthy, Dvijotham, Alhussein Fawzi, Soham De, Robert Stanforth, Pushmeet Kohli


  Access Paper or Ask Questions

Are Labels Required for Improving Adversarial Robustness?


May 31, 2019
Jonathan Uesato*, Jean-Baptiste Alayrac*, Po-Sen Huang*, Robert Stanforth, Alhussein Fawzi, Pushmeet Kohli


  Access Paper or Ask Questions

A Hierarchical Probabilistic U-Net for Modeling Multi-Scale Ambiguities


May 30, 2019
Simon A. A. Kohl, Bernardino Romera-Paredes, Klaus H. Maier-Hein, Danilo Jimenez Rezende, S. M. Ali Eslami, Pushmeet Kohli, Andrew Zisserman, Olaf Ronneberger

* 25 pages, 15 figures 

  Access Paper or Ask Questions

REGAL: Transfer Learning For Fast Optimization of Computation Graphs


May 30, 2019
Aditya Paliwal, Felix Gimeno, Vinod Nair, Yujia Li, Miles Lubin, Pushmeet Kohli, Oriol Vinyals


  Access Paper or Ask Questions

Structured agents for physical construction


May 13, 2019
Victor Bapst, Alvaro Sanchez-Gonzalez, Carl Doersch, Kimberly L. Stachenfeld, Pushmeet Kohli, Peter W. Battaglia, Jessica B. Hamrick

* ICML 2019 

  Access Paper or Ask Questions

Graph Matching Networks for Learning the Similarity of Graph Structured Objects


May 12, 2019
Yujia Li, Chenjie Gu, Thomas Dullien, Oriol Vinyals, Pushmeet Kohli

* Accepted as a conference paper at ICML 2019 

  Access Paper or Ask Questions

Knowing When to Stop: Evaluation and Verification of Conformity to Output-size Specifications


Apr 26, 2019
Chenglong Wang, Rudy Bunel, Krishnamurthy Dvijotham, Po-Sen Huang, Edward Grefenstette, Pushmeet Kohli


  Access Paper or Ask Questions

The Neuro-Symbolic Concept Learner: Interpreting Scenes, Words, and Sentences From Natural Supervision


Apr 26, 2019
Jiayuan Mao, Chuang Gan, Pushmeet Kohli, Joshua B. Tenenbaum, Jiajun Wu

* ICLR 2019 (Oral). Project page: http://nscl.csail.mit.edu/ 

  Access Paper or Ask Questions