Krishnamurthy (Dj) Dvijotham

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 16

Top Topics

Provably Correct

Convex Combinations

Top Venues

Publications

Alessandro De Palma, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio
Expressive Losses for Verified Robustness via Convex Combinations. ICLR (2024)
Nicholas Carlini, Daniel Paleka, Krishnamurthy (Dj) Dvijotham, Thomas Steinke, Jonathan Hayase, A. Feder Cooper, Katherine Lee, Matthew Jagielski, Milad Nasr, Arthur Conmy, Eric Wallace, David Rolnick, Florian Tramèr
Stealing Part of a Production Language Model. CoRR (2024)
Francisco Eiras, Adel Bibi, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, Philip H. S. Torr, M. Pawan Kumar
Provably Correct Physics-Informed Neural Networks. CoRR (2023)
Nicholas Carlini, Florian Tramèr, Krishnamurthy (Dj) Dvijotham, Leslie Rice, Mingjie Sun, J. Zico Kolter
(Certified!!) Adversarial Robustness for Free! ICLR (2023)
Jeremiah Zhe Liu, Krishnamurthy (Dj) Dvijotham, Jihyeon Lee, Quan Yuan, Balaji Lakshminarayanan, Deepak Ramachandran
Pushing the Accuracy-Group Robustness Frontier with Introspective Self-play. ICLR (2023)
Tom A. Lamb, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, M. Pawan Kumar, Philip H. S. Torr, Francisco Eiras
Faithful Knowledge Distillation. CoRR (2023)
Jeremiah Zhe Liu, Krishnamurthy (Dj) Dvijotham, Jihyeon Lee, Quan Yuan, Martin Strobel, Balaji Lakshminarayanan, Deepak Ramachandran
Pushing the Accuracy-Group Robustness Frontier with Introspective Self-play. CoRR (2023)
Johannes Welbl, Po-Sen Huang, Robert Stanforth, Sven Gowal, Krishnamurthy (Dj) Dvijotham, Martin Szummer, Pushmeet Kohli
Towards Verified Robustness under Text Deletion Interventions. ICLR (2020)
Anton Zhernov, Krishnamurthy (Dj) Dvijotham, Ivan Lobov, Dan A. Calian, Michelle X. Gong, Natarajan Chandrashekar, Timothy A. Mann
The NodeHopper: Enabling Low Latency Ranking with Constraints via a Fast Dual Solver. KDD (2020)
A. Taylan Cemgil, Sumedh Ghaisas, Krishnamurthy (Dj) Dvijotham, Pushmeet Kohli
Adversarially Robust Representations with Smooth Encoders. ICLR (2020)
Tsui-Wei Weng, Krishnamurthy (Dj) Dvijotham, Jonathan Uesato, Kai Xiao, Sven Gowal, Robert Stanforth, Pushmeet Kohli
Toward Evaluating Robustness of Deep Reinforcement Learning with Continuous Control. ICLR (2020)
Krishnamurthy (Dj) Dvijotham, Jamie Hayes, Borja Balle, J. Zico Kolter, Chongli Qin, András György, Kai Xiao, Sven Gowal, Pushmeet Kohli
A Framework for robustness Certification of Smoothed Classifiers using F-Divergences. ICLR (2020)
Chongli Qin, Krishnamurthy (Dj) Dvijotham, Brendan O'Donoghue, Rudy Bunel, Robert Stanforth, Sven Gowal, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli
Verification of Non-Linear Specifications for Neural Networks. CoRR (2019)
Krishnamurthy (Dj) Dvijotham, Robert Stanforth, Sven Gowal, Chongli Qin, Soham De, Pushmeet Kohli
Efficient Neural Network Verification with Exactness Characterization. UAI (2019)
Jonathan Uesato, Ananya Kumar, Csaba Szepesvári, Tom Erez, Avraham Ruderman, Keith Anderson, Krishnamurthy (Dj) Dvijotham, Nicolas Heess, Pushmeet Kohli
Rigorous Agent Evaluation: An Adversarial Approach to Uncover Catastrophic Failures. ICLR (Poster) (2019)
Chongli Qin, Krishnamurthy (Dj) Dvijotham, Brendan O'Donoghue, Rudy Bunel, Robert Stanforth, Sven Gowal, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli
Verification of Non-Linear Specifications for Neural Networks. ICLR (Poster) (2019)