Dvijotham, K.[Krishnamurthy]
* 2019: Knowing When to Stop: Evaluation and Verification of Conformity to Output-Size Specifications
* 2019: Scalable Verified Training for Provably Robust Image Classification
* 2020: Achieving Robustness in the Wild via Adversarial Mixing With Disentangled Representations
Includes: Dvijotham, K.[Krishnamurthy] Dvijotham, K.