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 Dvijotham

A Fine-Grained Analysis on Distribution Shift

Oct 21, 2021
Olivia Wiles, Sven Gowal, Florian Stimberg, Sylvestre Alvise-Rebuffi, Ira Ktena, Krishnamurthy, Dvijotham, Taylan Cemgil

  Access Paper or Ask Questions

Learning Optimal Conformal Classifiers

Oct 18, 2021
David Stutz, Krishnamurthy, Dvijotham, Ali Taylan Cemgil, Arnaud Doucet

  Access Paper or Ask Questions

Verifying Probabilistic Specifications with Functional Lagrangians

Feb 18, 2021
Leonard Berrada, Sumanth Dathathri, Krishnamurthy, Dvijotham, Robert Stanforth, Rudy Bunel, Jonathan Uesato, Sven Gowal, M. Pawan Kumar

  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

An efficient nonconvex reformulation of stagewise convex optimization problems

Oct 27, 2020
Rudy Bunel, Oliver Hinder, Srinadh Bhojanapalli, Krishnamurthy, Dvijotham

* First and second authors made equal contribution. To appear in Neurips 2020 

  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

Verification of Non-Linear Specifications for Neural Networks

Feb 25, 2019
Chongli Qin, Krishnamurthy, Dvijotham, Brendan O'Donoghue, Rudy Bunel, Robert Stanforth, Sven Gowal, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli

* ICLR conference paper 

  Access Paper or Ask Questions

Rigorous Agent Evaluation: An Adversarial Approach to Uncover Catastrophic Failures

Dec 04, 2018
Jonathan Uesato, Ananya Kumar, Csaba Szepesvari, Tom Erez, Avraham Ruderman, Keith Anderson, Krishmamurthy, Dvijotham, Nicolas Heess, Pushmeet Kohli

  Access Paper or Ask Questions

A Dual Approach to Scalable Verification of Deep Networks

Aug 03, 2018
Krishnamurthy, Dvijotham, Robert Stanforth, Sven Gowal, Timothy Mann, Pushmeet Kohli

  Access Paper or Ask Questions