Krishnamurthy Dvijotham
16 papers · 2019–2023 · 6 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 ↓+3 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🌍 Conference Polyglot · Silver 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (36) 🗃️ Keyword Collector (73)
💎
Century Club · Bronze
🔥
Unstoppable · Bronze
⚡
Prolific Year · Productive
Top co-authors
Research topics
Machine Learning
(14)
Artificial Intelligence
(11)
Deep Learning
(11)
Core AI
(10)
Learning Types · Machine Learning
(8)
Optimization & Theory · Machine Learning
(7)
Application Areas
(6)
Architectures
(4)
Learning Types · Deep Learning
(4)
Optimization & Theory · Deep Learning
(4)
Core Methods
(3)
Natural Language Processing
(2)
Applications
(2)
Models
(2)
Computer Vision
(1)
Keywords
adversarial robustness
(7)
neural network verification
(7)
formal verification
(5)
convex optimization
(3)
adversarial attack
(3)
uncertainty quantification
(3)
interpretable machine learning
(2)
selective prediction
(2)
adversarial training
(2)
convex relaxation
(2)
concept bottleneck model
(2)
policy learning
(1)
machine translation
(1)
explainable ai
(1)
semidefinite programming
(1)
representation learning
(1)
self-supervised learning
(1)
domain generalization
(1)
model interpretability
(1)
neural architecture
(1)
Papers
Interactive Concept Bottleneck Models
AAAI 2023
Learning to Receive Help: Intervention-Aware Concept Embedding Models
NeurIPS 2023
Provably Bounding Neural Network Preimages
NeurIPS 2023
Training Private Models That Know What They Don’t Know
NeurIPS 2023
Role of Human-AI Interaction in Selective Prediction
AAAI 2022
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications
NeurIPS 2021
Overcoming the Convex Barrier for Simplex Inputs
NeurIPS 2021
Achieving Robustness in the Wild via Adversarial Mixing With Disentangled Representations
CVPR 2020
An efficient nonconvex reformulation of stagewise convex optimization problems
NeurIPS 2020
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
NeurIPS 2020
Lagrangian Decomposition for Neural Network Verification
UAI 2020
The Autoencoding Variational Autoencoder
NeurIPS 2020
Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation
EMNLP 2019
A Dual Approach to Verify and Train Deep Networks
IJCAI 2019
Adversarial Robustness through Local Linearization
NeurIPS 2019
Knowing When to Stop: Evaluation and Verification of Conformity to Output-Size Specifications
CVPR 2019