Krishnamurthy (Dj) Dvijotham
7 papers · 2019–2020 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🗺️ Taxonomy Completionist (14) 🐣 Hot Topic Early Bird 🧭 Keyword Pioneer 🚀 Conference Pioneer
📈
Trend Setter
Top co-authors
Research topics
Keywords
adversarial robustness
(3)
neural network verification
(3)
adversarial perturbation
(2)
formal verification
(2)
interval bound propagation
(2)
convex relaxation
(1)
lagrangian relaxation
(1)
adversarial attack
(1)
randomized smoothing
(1)
variational autoencoder
(1)
robustness certification
(1)
downstream task
(1)
verified accuracy
(1)
safety-critical system
(1)
adversarial evaluation
(1)
provable robustness
(1)
smoothed classifier
(1)
failure probability
(1)
verified robustness
(1)
text deletion
(1)
Papers
Adversarially Robust Representations with Smooth Encoders
ICLR 2020
A FRAMEWORK FOR ROBUSTNESS CERTIFICATION OF SMOOTHED CLASSIFIERS USING F-DIVERGENCES
ICLR 2020
Towards Verified Robustness under Text Deletion Interventions
ICLR 2020
Efficient Neural Network Verification with Exactness Characterization
UAI 2019
Rigorous Agent Evaluation: An Adversarial Approach to Uncover Catastrophic Failures
ICLR 2019
Scalable Verified Training for Provably Robust Image Classification
ICCV 2019
Verification of Non-Linear Specifications for Neural Networks
ICLR 2019