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

 Add to Chrome

 Add to Firefox

 CatalyzeX Code Finder - Browser extension linking code for ML papers across the web! | Product Hunt Embed
Pushmeet Kohli
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