Alert button
Picture for M. Pawan Kumar

M. Pawan Kumar

Alert button

Neural Network Branch-and-Bound for Neural Network Verification

Jul 27, 2021
Florian Jaeckle, Jingyue Lu, M. Pawan Kumar

Figure 1 for Neural Network Branch-and-Bound for Neural Network Verification
Figure 2 for Neural Network Branch-and-Bound for Neural Network Verification
Figure 3 for Neural Network Branch-and-Bound for Neural Network Verification
Figure 4 for Neural Network Branch-and-Bound for Neural Network Verification
Viaarxiv icon

ANCER: Anisotropic Certification via Sample-wise Volume Maximization

Jul 20, 2021
Francisco Eiras, Motasem Alfarra, M. Pawan Kumar, Philip H. S. Torr, Puneet K. Dokania, Bernard Ghanem, Adel Bibi

Figure 1 for ANCER: Anisotropic Certification via Sample-wise Volume Maximization
Figure 2 for ANCER: Anisotropic Certification via Sample-wise Volume Maximization
Figure 3 for ANCER: Anisotropic Certification via Sample-wise Volume Maximization
Figure 4 for ANCER: Anisotropic Certification via Sample-wise Volume Maximization
Viaarxiv icon

Generating Adversarial Examples with Graph Neural Networks

May 30, 2021
Florian Jaeckle, M. Pawan Kumar

Figure 1 for Generating Adversarial Examples with Graph Neural Networks
Figure 2 for Generating Adversarial Examples with Graph Neural Networks
Figure 3 for Generating Adversarial Examples with Graph Neural Networks
Figure 4 for Generating Adversarial Examples with Graph Neural Networks
Viaarxiv icon

Comment on Stochastic Polyak Step-Size: Performance of ALI-G

May 20, 2021
Leonard Berrada, Andrew Zisserman, M. Pawan Kumar

Figure 1 for Comment on Stochastic Polyak Step-Size: Performance of ALI-G
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

Verifying Probabilistic Specifications with Functional Lagrangians

Feb 18, 2021
Leonard Berrada, Sumanth Dathathri, Krishnamurthy, Dvijotham, Robert Stanforth, Rudy Bunel, Jonathan Uesato, Sven Gowal, M. Pawan Kumar

Figure 1 for Verifying Probabilistic Specifications with Functional Lagrangians
Figure 2 for Verifying Probabilistic Specifications with Functional Lagrangians
Figure 3 for Verifying Probabilistic Specifications with Functional Lagrangians
Figure 4 for Verifying Probabilistic Specifications with Functional Lagrangians
Viaarxiv icon

Scaling the Convex Barrier with Sparse Dual Algorithms

Jan 26, 2021
Alessandro De Palma, Harkirat Singh Behl, Rudy Bunel, Philip H. S. Torr, M. Pawan Kumar

Figure 1 for Scaling the Convex Barrier with Sparse Dual Algorithms
Figure 2 for Scaling the Convex Barrier with Sparse Dual Algorithms
Figure 3 for Scaling the Convex Barrier with Sparse Dual Algorithms
Figure 4 for Scaling the Convex Barrier with Sparse Dual Algorithms
Viaarxiv icon

Scaling the Convex Barrier with Active Sets

Jan 14, 2021
Alessandro De Palma, Harkirat Singh Behl, Rudy Bunel, Philip H. S. Torr, M. Pawan Kumar

Figure 1 for Scaling the Convex Barrier with Active Sets
Figure 2 for Scaling the Convex Barrier with Active Sets
Figure 3 for Scaling the Convex Barrier with Active Sets
Figure 4 for Scaling the Convex Barrier with Active Sets
Viaarxiv icon

Weakly Supervised Instance Segmentation by Learning Annotation Consistent Instances

Jul 18, 2020
Aditya Arun, C. V. Jawahar, M. Pawan Kumar

Figure 1 for Weakly Supervised Instance Segmentation by Learning Annotation Consistent Instances
Figure 2 for Weakly Supervised Instance Segmentation by Learning Annotation Consistent Instances
Figure 3 for Weakly Supervised Instance Segmentation by Learning Annotation Consistent Instances
Figure 4 for Weakly Supervised Instance Segmentation by Learning Annotation Consistent Instances
Viaarxiv icon