Publications

The Autoencoding Variational Autoencoder

Sumedh Ghaisas, Taylan Cemgil, Krishnamurthy (Dj) Dvijotham, Sven Gowal, Pushmeet Kohli

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

Krishnamurthy (Dj) Dvijotham, Aditi Raghunathan, Jonathan Uesato, Sumanth Dathathri, Alexey Kurakin, Ian Goodfellow, Pushmeet Kohli, Jacob Steinhardt, Percy Liang

An efficient nonconvex reformulation of stagewise convex optimization problems

Olliver Hinder, Rudy Bunel, Shrinadh Bhojanapalli, Krishnamurthy (Dj) Dvijotham

Towards Verified Robustness under Text Deletion Interventions

Johannes Welbl, Po-Sen Huang, Robert Stanforth, Sven Gowal, Krishnamurthy (Dj) Dvijotham, Martin Szummer, Pushmeet Kohli

Toward Evaluating Robustness of Deep Reinforcement Learning with Continuous Control

Tsui-Wei Weng, Krishnamurthy (Dj) Dvijotham, Jonathan Uesato, Kai Xiao, Sven Gowal, Robert Stanforth, Pushmeet Kohli

Adversarially Robust Representations with Smooth Encoders

Taylan Cemgil, Sumedh Ghaisas, Krishnamurthy (Dj) Dvijotham, Pushmeet Kohli

A FRAMEWORK FOR ROBUSTNESS CERTIFICATION OF SMOOTHED CLASSIFIERS USING F-DIVERGENCES

Krishnamurthy (Dj) Dvijotham, Jamie Hayes, Borja Balle, Zico Kolter, Chongli Qin, Andras Gyorgy, Kai Xiao, Sven Gowal, Pushmeet Kohli

Adversarial Robustness through Local Linearization

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

Convex Restriction of Power Flow Feasibility Sets

D. Lee, H. D. Nguyen, K. Dvijotham, K. Turitsyn

Efficient Neural Network Verification with Exactness Characterization

Krishnamurthy (Dj) Dvijotham, Robert Stanforth, Sven Gowal, Chongli Qin, Soham De, Pushmeet Kohli

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

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

Verification of Non-Linear Specifications for Neural Networks

Chongli Qin, Krishnamurthy (Dj) Dvijotham, Brendan O'Donoghue, Rudy Bunel, Robert Stanforth, Sven Gowal, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli

Rigorous Agent Evaluation: An Adversarial Approach to Uncover Catastrophic Failures

Jonathan Uesato, Ananya Kumar, Csaba Szepesvari, Tom Erez, Avraham Ruderman, Keith Anderson, Krishnamurthy (Dj) Dvijotham, Nicolas Heess, Pushmeet Kohli

Scalable Verified Training for Provably Robust Image Classification

Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Chongli Qin, Jonathan Uesato, Relja Arandjelovic, Timothy A. Mann, Pushmeet Kohli

Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation

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

Verification of deep probabilistic models

Krishnamurthy Dvijotham, Marta Garnelo, Alhussein Fawzi, Pushmeet Kohli

A Framework for Robust Long-Term Voltage Stability of Distribution Systems

H. D. Nguyen, Krishnamurthy Dvijotham, S. Yu, K. Turitsyn

Constructing Convex Inner Approximations of Steady-State Security Regions

H. D. Nguyen, Krishnamurthy Dvijotham, K. Turitsyn

Learning Fast Optimizers for Contextual Stochastic Integer Programs

Vinod Nair, Krishnamurthy Dvijotham, Iain Dunning, Oriyol Vinyals

Optimal Adaptive Linearizations of the AC Power Flow Equations

S. Misra, D. K. Molzahn, Krishnamurthy Dvijotham

A dual approach to scalable verification of deep networks

Krishnamurthy Dvijotham, Robert Stanforth, Sven Gowal, Timothy Mann, Pushmeet Kohli

Solvability regions of affinely parameterized quadratic equations

Krishnamurthy Dvijotham, H. Nguyen, K. Turitsyn

High-Voltage Solution in Radial Power Networks: Existence, Properties, and Equivalent Algorithms

Krishnamurthy Dvijotham, E. Mallada, J. W. Simpson-Porco

A Deterministic Method to Identify Multiple Local Extrema for the AC Optimal Power Flow Problem

D. Wu, D. K. Molzahn, B. C. Lesieutre, Krishnamurthy Dvijotham

Real-time Optimal Power Flow

Y. Tang, Krishnamurthy Dvijotham, S. Low

Opportunities for Price Manipulation by Aggregators in Electricity Markets

N. Azizan Ruhi, Krishnamurthy Dvijotham, N. Chen, A. Wierman

Convergence of incentive-driven dynamics in Fisher markets

Krishnamurthy Dvijotham, Yuval Rabani, Leonard Schulman

Error bounds on the DC power flow approximation: A convex relaxation approach

Krishnamurthy Dvijotham, D. Molzahn

Graphical models for optimal power flow

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

Universal Convexification via Risk-Aversion

Krishnamurthy Dvijotham, Maryam Fazel, Emanuel Todorov

Automating Stochastic Optimal Control

Krishnamurthy Dvijotham

Linearly solvable Markov games

Krishnamurthy Dvijotham, Emo Todorov

A Unifying Framework for Linearly Solvable Control

Krishnamurthy Dvijotham, Emanuel Todorov

Inverse optimal control with linearly-solvable MDPs

Krishnamurthy Dvijotham, Emanuel Todorov

A nullspace analysis of the nuclear norm heuristic for rank minimization

Krishnamurthy Dvijotham, Maryam Fazel

New Closed-Form Bounds on the Partition Function

Krishnamurthy Dvijotham, Soumen Chakrabarti, Subhasis Chaudhuri