Krishnamurthy (Dj) Dvijotham

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