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 Krishnamurthy Dvijotham

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

Autoencoding Variational Autoencoder

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

* Neurips 2020 

  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

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

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

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

Verification of deep probabilistic models

Dec 06, 2018
Krishnamurthy Dvijotham, Marta Garnelo, Alhussein Fawzi, Pushmeet Kohli

* Accepted to NeurIPS 2018 Workshop on Security in Machine Learning 

  Access Paper or Ask Questions

On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Nov 05, 2018
Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Chongli Qin, Jonathan Uesato, Relja Arandjelovic, Timothy Mann, Pushmeet Kohli

  Access Paper or Ask Questions

Training verified learners with learned verifiers

May 29, 2018
Krishnamurthy Dvijotham, Sven Gowal, Robert Stanforth, Relja Arandjelovic, Brendan O'Donoghue, Jonathan Uesato, Pushmeet Kohli

  Access Paper or Ask Questions

Safe Exploration in Continuous Action Spaces

Jan 26, 2018
Gal Dalal, Krishnamurthy Dvijotham, Matej Vecerik, Todd Hester, Cosmin Paduraru, Yuval Tassa

  Access Paper or Ask Questions

Graphical Models for Optimal Power Flow

Jun 21, 2016
Krishnamurthy Dvijotham, Pascal Van Hentenryck, Michael Chertkov, Sidhant Misra, Marc Vuffray

* To appear in Proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming (CP 2016( 

  Access Paper or Ask Questions

Universal Convexification via Risk-Aversion

Jun 03, 2014
Krishnamurthy Dvijotham, Maryam Fazel, Emanuel Todorov

  Access Paper or Ask Questions