Krishnamurthy (Dj) Dvijotham

7 papers · 2019–2020 · 3 conferences · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🌍 Conference Polyglot (3) 🐝 Cross-Pollinator (12) 🚀 Conference Pioneer

Conferences

ICLR (5) ICCV (1) UAI (1)

Top co-authors

Pushmeet Kohli (7) Sven Gowal (5) Robert Stanforth (4) Chongli Qin (4) Jonathan Uesato (2) Rudy Bunel (2) Timothy Mann (1) Po-Sen Huang (1) Relja Arandjelović (1) Csaba Szepesvari* (1)

Keywords

neural network verification (2) adversarial robustness (2) formal verification (1) lagrangian relaxation (1) adversarial attack (1) interval bound propagation (1) verified accuracy (1) provable robustness (1) semidefinite programming (1)

Papers

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

Towards Verified Robustness under Text Deletion Interventions ICLR 2020

Adversarially Robust Representations with Smooth Encoders ICLR 2020

Scalable Verified Training for Provably Robust Image Classification ICCV 2019

Efficient Neural Network Verification with Exactness Characterization UAI 2019

Rigorous Agent Evaluation: An Adversarial Approach to Uncover Catastrophic Failures ICLR 2019

Verification of Non-Linear Specifications for Neural Networks ICLR 2019