conftrace_

Krishnamurthy (Dj) Dvijotham

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

Achievements

Jump to papers ↓

+1 more ↓

🌉 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