Dj's research website
Dj's research website
Home
Posts
Publications
CV
Publications
Type
Conference paper
Journal article
Thesis
Date
2020
2019
2018
2017
2016
2014
2012
2011
2010
2008
The Autoencoding Variational Autoencoder
Sumedh Ghaisas
,
Taylan Cemgil
,
Krishnamurthy (Dj) Dvijotham
,
Sven Gowal
,
Pushmeet Kohli
Cite
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
PDF
Cite
An efficient nonconvex reformulation of stagewise convex optimization problems
Olliver Hinder
,
Rudy Bunel
,
Shrinadh Bhojanapalli
,
Krishnamurthy (Dj) Dvijotham
PDF
Cite
Towards Verified Robustness under Text Deletion Interventions
Johannes Welbl
,
Po-Sen Huang
,
Robert Stanforth
,
Sven Gowal
,
Krishnamurthy (Dj) Dvijotham
,
Martin Szummer
,
Pushmeet Kohli
PDF
Cite
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
PDF
Cite
Adversarially Robust Representations with Smooth Encoders
Taylan Cemgil
,
Sumedh Ghaisas
,
Krishnamurthy (Dj) Dvijotham
,
Pushmeet Kohli
PDF
Cite
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
PDF
Cite
Adversarial Robustness through Local Linearization
Chongli Qin
,
James Martens
,
Sven Gowal
,
Dilip Krishnan
,
Krishnamurthy Dvijotham
,
Alhussein Fawzi
,
Soham De
,
Robert Stanforth
,
Pushmeet Kohli
PDF
Cite
Convex Restriction of Power Flow Feasibility Sets
D. Lee
,
H. D. Nguyen
,
K. Dvijotham
,
K. Turitsyn
PDF
Cite
DOI
Efficient Neural Network Verification with Exactness Characterization
Krishnamurthy (Dj) Dvijotham
,
Robert Stanforth
,
Sven Gowal
,
Chongli Qin
,
Soham De
,
Pushmeet Kohli
PDF
Cite
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
PDF
Cite
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
PDF
Cite
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
PDF
Cite
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
PDF
Cite
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
PDF
Cite
Verification of deep probabilistic models
Krishnamurthy Dvijotham
,
Marta Garnelo
,
Alhussein Fawzi
,
Pushmeet Kohli
PDF
Cite
A Framework for Robust Long-Term Voltage Stability of Distribution Systems
H. D. Nguyen
,
Krishnamurthy Dvijotham
,
S. Yu
,
K. Turitsyn
PDF
Cite
DOI
Constructing Convex Inner Approximations of Steady-State Security Regions
H. D. Nguyen
,
Krishnamurthy Dvijotham
,
K. Turitsyn
PDF
Cite
DOI
Learning Fast Optimizers for Contextual Stochastic Integer Programs
Vinod Nair
,
Krishnamurthy Dvijotham
,
Iain Dunning
,
Oriyol Vinyals
PDF
Cite
Optimal Adaptive Linearizations of the AC Power Flow Equations
S. Misra
,
D. K. Molzahn
,
Krishnamurthy Dvijotham
PDF
Cite
DOI
A dual approach to scalable verification of deep networks
Krishnamurthy Dvijotham
,
Robert Stanforth
,
Sven Gowal
,
Timothy Mann
,
Pushmeet Kohli
PDF
Cite
Solvability regions of affinely parameterized quadratic equations
Krishnamurthy Dvijotham
,
H. Nguyen
,
K. Turitsyn
PDF
Cite
DOI
High-Voltage Solution in Radial Power Networks: Existence, Properties, and Equivalent Algorithms
Krishnamurthy Dvijotham
,
E. Mallada
,
J. W. Simpson-Porco
PDF
Cite
DOI
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
PDF
Cite
DOI
Real-time Optimal Power Flow
Y. Tang
,
Krishnamurthy Dvijotham
,
S. Low
PDF
Cite
DOI
Opportunities for Price Manipulation by Aggregators in Electricity Markets
N. Azizan Ruhi
,
Krishnamurthy Dvijotham
,
N. Chen
,
A. Wierman
PDF
Cite
DOI
Convergence of incentive-driven dynamics in Fisher markets
Krishnamurthy Dvijotham
,
Yuval Rabani
,
Leonard Schulman
PDF
Cite
Error bounds on the DC power flow approximation: A convex relaxation approach
Krishnamurthy Dvijotham
,
D. Molzahn
PDF
Cite
Graphical models for optimal power flow
Krishnamurthy Dvijotham
,
Michael Chertkov
,
Pascal Van Hentenryck
,
Marc Vuffray
,
Sidhant Misra
PDF
Cite
Universal Convexification via Risk-Aversion
Krishnamurthy Dvijotham
,
Maryam Fazel
,
Emanuel Todorov
PDF
Cite
Automating Stochastic Optimal Control
Krishnamurthy Dvijotham
PDF
Cite
Linearly solvable Markov games
Krishnamurthy Dvijotham
,
Emo Todorov
PDF
Cite
A Unifying Framework for Linearly Solvable Control
Krishnamurthy Dvijotham
,
Emanuel Todorov
PDF
Cite
Inverse optimal control with linearly-solvable MDPs
Krishnamurthy Dvijotham
,
Emanuel Todorov
PDF
Cite
A nullspace analysis of the nuclear norm heuristic for rank minimization
Krishnamurthy Dvijotham
,
Maryam Fazel
PDF
Cite
New Closed-Form Bounds on the Partition Function
Krishnamurthy Dvijotham
,
Soumen Chakrabarti
,
Subhasis Chaudhuri
PDF
Cite
Cite
×