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