Dvijotham, Krishnamurthy

26 publications

AAAI 2023 Interactive Concept Bottleneck Models Kushal Chauhan, Rishabh Tiwari, Jan Freyberg, Pradeep Shenoy, Krishnamurthy Dvijotham

NeurIPS 2023 Learning to Receive Help: Intervention-Aware Concept Embedding Models Mateo Espinosa Zarlenga, Katie Collins, Krishnamurthy Dvijotham, Adrian Weller, Zohreh Shams, Mateja Jamnik

NeurIPS 2023 Provably Bounding Neural Network Preimages Suhas Kotha, Christopher Brix, J. Zico Kolter, Krishnamurthy Dvijotham, Huan Zhang

NeurIPS 2023 Training Private Models That Know What They Don’t Know Stephan Rabanser, Anvith Thudi, Abhradeep Guha Thakurta, Krishnamurthy Dvijotham, Nicolas Papernot

AAAI 2022 Role of Human-AI Interaction in Selective Prediction Elizabeth Bondi, Raphael Koster, Hannah Sheahan, Martin J. Chadwick, Yoram Bachrach, A. Taylan Cemgil, Ulrich Paquet, Krishnamurthy Dvijotham

NeurIPS 2021 Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications Leonard Berrada, Sumanth Dathathri, Krishnamurthy Dvijotham, Robert Stanforth, Rudy R Bunel, Jonathan Uesato, Sven Gowal, M. Pawan Kumar

NeurIPS 2021 Overcoming the Convex Barrier for Simplex Inputs Harkirat Singh Behl, M. Pawan Kumar, Philip Torr, Krishnamurthy Dvijotham

ICLR 2020 A Framework for Robustness Certification of Smoothed Classifiers Using F-Divergences Krishnamurthy Dvijotham, Jamie Hayes, Borja Balle, Zico Kolter, Chongli Qin, Andras Gyorgy, Kai Xiao, Sven Gowal, Pushmeet Kohli

ICLR 2020 Adversarially Robust Representations with Smooth Encoders Taylan Cemgil, Sumedh Ghaisas, Krishnamurthy Dvijotham, Pushmeet Kohli

NeurIPS 2020 An Efficient Nonconvex Reformulation of Stagewise Convex Optimization Problems Rudy R Bunel, Oliver Hinder, Srinadh Bhojanapalli, Krishnamurthy Dvijotham

NeurIPS 2020 Enabling Certification of Verification-Agnostic Networks via Memory-Efficient Semidefinite Programming Sumanth Dathathri, Krishnamurthy Dvijotham, Alexey Kurakin, Aditi Raghunathan, Jonathan Uesato, Rudy R Bunel, Shreya Shankar, Jacob Steinhardt, Ian Goodfellow, Percy Liang, Pushmeet Kohli

UAI 2020 Lagrangian Decomposition for Neural Network Verification Rudy Bunel, Alessandro De Palma, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip Torr, M. Pawan Kumar

NeurIPS 2020 The Autoencoding Variational Autoencoder Taylan Cemgil, Sumedh Ghaisas, Krishnamurthy Dvijotham, Sven Gowal, Pushmeet Kohli

ICLR 2020 Toward Evaluating Robustness of Deep Reinforcement Learning with Continuous Control Tsui-Wei Weng, Krishnamurthy Dvijotham, Jonathan Uesato, Kai Xiao, Sven Gowal, Robert Stanforth, Pushmeet Kohli

ICLR 2020 Towards Verified Robustness Under Text Deletion Interventions Johannes Welbl, Po-Sen Huang, Robert Stanforth, Sven Gowal, Krishnamurthy Dvijotham, Martin Szummer, Pushmeet Kohli

IJCAI 2019 A Dual Approach to Verify and Train Deep Networks Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Timothy A. Mann, Pushmeet Kohli

NeurIPS 2019 Adversarial Robustness Through Local Linearization Chongli Qin, James Martens, Sven Gowal, Dilip Krishnan, Krishnamurthy Dvijotham, Alhussein Fawzi, Soham De, Robert Stanforth, Pushmeet Kohli

UAI 2019 Efficient Neural Network Verification with Exactness Characterization Krishnamurthy Dvijotham, Robert Stanforth, Sven Gowal, Chongli Qin, Soham De, Pushmeet Kohli

ICLR 2019 Rigorous Agent Evaluation: An Adversarial Approach to Uncover Catastrophic Failures Jonathan Uesato, Ananya Kumar, Csaba Szepesvari, Tom Erez, Avraham Ruderman, Keith Anderson, Krishnamurthy Dvijotham, Nicolas Heess, Pushmeet Kohli

ICLR 2019 Verification of Non-Linear Specifications for Neural Networks Chongli Qin, Krishnamurthy Dvijotham, Brendan O'Donoghue, Rudy Bunel, Robert Stanforth, Sven Gowal, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli

UAI 2018 A Dual Approach to Scalable Verification of Deep Networks Krishnamurthy Dvijotham, Robert Stanforth, Sven Gowal, Timothy A. Mann, Pushmeet Kohli

UAI 2014 Universal Convexification via Risk-Aversion Krishnamurthy Dvijotham, Maryam Fazel, Emanuel Todorov

UAI 2011 A Unifying Framework for Linearly Solvable Control Krishnamurthy Dvijotham, Emanuel Todorov

ICML 2010 Inverse Optimal Control with Linearly-Solvable MDPs Krishnamurthy Dvijotham, Emanuel Todorov

ECML-PKDD 2008 New Closed-Form Bounds on the Partition Function Krishnamurthy Dvijotham, Soumen Chakrabarti, Subhasis Chaudhuri

MLJ 2008 New Closed-Form Bounds on the Partition Function Krishnamurthy Dvijotham, Soumen Chakrabarti, Subhasis Chaudhuri