Krishnamurthy (Dj) Dvijotham
7 papers · 2019–2020 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
๐ 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
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