Alert button
Picture for Krishnamurthy Dvijotham

Krishnamurthy Dvijotham

Alert button

Human Uncertainty in Concept-Based AI Systems

Mar 22, 2023
Katherine M. Collins, Matthew Barker, Mateo Espinosa Zarlenga, Naveen Raman, Umang Bhatt, Mateja Jamnik, Ilia Sucholutsky, Adrian Weller, Krishnamurthy Dvijotham

Figure 1 for Human Uncertainty in Concept-Based AI Systems
Figure 2 for Human Uncertainty in Concept-Based AI Systems
Figure 3 for Human Uncertainty in Concept-Based AI Systems
Figure 4 for Human Uncertainty in Concept-Based AI Systems
Viaarxiv icon

Provably Bounding Neural Network Preimages

Feb 07, 2023
Suhas Kotha, Christopher Brix, Zico Kolter, Krishnamurthy Dvijotham, Huan Zhang

Figure 1 for Provably Bounding Neural Network Preimages
Figure 2 for Provably Bounding Neural Network Preimages
Figure 3 for Provably Bounding Neural Network Preimages
Figure 4 for Provably Bounding Neural Network Preimages
Viaarxiv icon

Interactive Concept Bottleneck Models

Dec 26, 2022
Kushal Chauhan, Rishabh Tiwari, Jan Freyberg, Pradeep Shenoy, Krishnamurthy Dvijotham

Figure 1 for Interactive Concept Bottleneck Models
Figure 2 for Interactive Concept Bottleneck Models
Figure 3 for Interactive Concept Bottleneck Models
Figure 4 for Interactive Concept Bottleneck Models
Viaarxiv icon

IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound

Jun 29, 2022
Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth

Figure 1 for IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
Figure 2 for IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
Figure 3 for IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
Figure 4 for IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
Viaarxiv icon

Role of Human-AI Interaction in Selective Prediction

Dec 13, 2021
Elizabeth Bondi, Raphael Koster, Hannah Sheahan, Martin Chadwick, Yoram Bachrach, Taylan Cemgil, Ulrich Paquet, Krishnamurthy Dvijotham

Figure 1 for Role of Human-AI Interaction in Selective Prediction
Figure 2 for Role of Human-AI Interaction in Selective Prediction
Figure 3 for Role of Human-AI Interaction in Selective Prediction
Figure 4 for Role of Human-AI Interaction in Selective Prediction
Viaarxiv icon

Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition

Apr 14, 2021
Alessandro De Palma, Rudy Bunel, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar

Figure 1 for Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition
Figure 2 for Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition
Figure 3 for Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition
Figure 4 for Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition
Viaarxiv icon

Autoencoding Variational Autoencoder

Dec 07, 2020
A. Taylan Cemgil, Sumedh Ghaisas, Krishnamurthy Dvijotham, Sven Gowal, Pushmeet Kohli

Figure 1 for Autoencoding Variational Autoencoder
Figure 2 for Autoencoding Variational Autoencoder
Figure 3 for Autoencoding Variational Autoencoder
Figure 4 for Autoencoding Variational Autoencoder
Viaarxiv icon

Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming

Nov 03, 2020
Sumanth Dathathri, Krishnamurthy Dvijotham, Alexey Kurakin, Aditi Raghunathan, Jonathan Uesato, Rudy Bunel, Shreya Shankar, Jacob Steinhardt, Ian Goodfellow, Percy Liang, Pushmeet Kohli

Figure 1 for Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
Figure 2 for Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
Figure 3 for Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
Figure 4 for Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
Viaarxiv icon