Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for M. Pawan Kumar

Neural Network Branch-and-Bound for Neural Network Verification


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

* arXiv admin note: substantial text overlap with arXiv:1912.01329 

  Access Paper or Ask Questions

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

* First two authors and the last one contributed equally to this work 

  Access Paper or Ask Questions

Generating Adversarial Examples with Graph Neural Networks


May 30, 2021
Florian Jaeckle, M. Pawan Kumar

* To be published in UAI 2021 

  Access Paper or Ask Questions

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


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


  Access Paper or Ask Questions

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

* Submitted for review to JMLR. This is an extended version of our paper in the UAI-20 conference (arXiv:2002.10410) 

  Access Paper or Ask Questions

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


  Access Paper or Ask Questions

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

* Previous version: published at ICLR 2021. This extended version: submitted to JMLR 

  Access Paper or Ask Questions

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

* Published at ICLR 2021 

  Access Paper or Ask Questions

Weakly Supervised Instance Segmentation by Learning Annotation Consistent Instances


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

* To appear at ECCV 2020 

  Access Paper or Ask Questions

Hybrid Models for Learning to Branch


Jun 26, 2020
Prateek Gupta, Maxime Gasse, Elias B. Khalil, M. Pawan Kumar, Andrea Lodi, Yoshua Bengio

* Preprint. Under review 

  Access Paper or Ask Questions

Lagrangian Decomposition for Neural Network Verification


Feb 24, 2020
Rudy Bunel, Alessandro De Palma, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar


  Access Paper or Ask Questions

Neural Network Branching for Neural Network Verification


Dec 03, 2019
Jingyue Lu, M. Pawan Kumar


  Access Paper or Ask Questions

Branch and Bound for Piecewise Linear Neural Network Verification


Sep 14, 2019
Rudy Bunel, Jingyue Lu, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli, M. Pawan Kumar


  Access Paper or Ask Questions

Training Neural Networks for and by Interpolation


Jun 13, 2019
Leonard Berrada, Andrew Zisserman, M. Pawan Kumar


  Access Paper or Ask Questions

A Statistical Approach to Assessing Neural Network Robustness


Nov 29, 2018
Stefan Webb, Tom Rainforth, Yee Whye Teh, M. Pawan Kumar

* 15 pages, 5 figures 

  Access Paper or Ask Questions

Dissimilarity Coefficient based Weakly Supervised Object Detection


Nov 25, 2018
Aditya Arun, C. V. Jawahar, M. Pawan Kumar

* Preprint 

  Access Paper or Ask Questions

Deep Frank-Wolfe For Neural Network Optimization


Nov 19, 2018
Leonard Berrada, Andrew Zisserman, M. Pawan Kumar


  Access Paper or Ask Questions

Efficient Relaxations for Dense CRFs with Sparse Higher Order Potentials


Oct 26, 2018
Thomas Joy, Alban Desmaison, Thalaiyasingam Ajanthan, Rudy Bunel, Mathieu Salzmann, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar


  Access Paper or Ask Questions

Learning Human Poses from Actions


Jul 24, 2018
Aditya Arun, C. V. Jawahar, M. Pawan Kumar

* Accepted at BMVC 2018 

  Access Paper or Ask Questions

A Unified View of Piecewise Linear Neural Network Verification


May 22, 2018
Rudy Bunel, Ilker Turkaslan, Philip H. S. Torr, Pushmeet Kohli, M. Pawan Kumar

* Updated version of "Piecewise Linear Neural Network verification: A comparative study" 

  Access Paper or Ask Questions

Efficient Optimization for Rank-based Loss Functions


Feb 28, 2018
Pritish Mohapatra, Michal Rolinek, C. V. Jawahar, Vladimir Kolmogorov, M. Pawan Kumar

* 15 pages, 2 figures 

  Access Paper or Ask Questions

Smooth Loss Functions for Deep Top-k Classification


Feb 21, 2018
Leonard Berrada, Andrew Zisserman, M. Pawan Kumar

* ICLR 2018 

  Access Paper or Ask Questions

Worst-case Optimal Submodular Extensions for Marginal Estimation


Jan 10, 2018
Pankaj Pansari, Chris Russell, M. Pawan Kumar

* Accepted to AISTATS 2018 

  Access Paper or Ask Questions

Coplanar Repeats by Energy Minimization


Nov 26, 2017
James Pritts, Denys Rozumnyi, M. Pawan Kumar, Ondrej Chum

* Proceedings of the British Machine Vision Conference (BMVC) 2016 
* 14 pages with supplemental materials attached 

  Access Paper or Ask Questions

Learning to superoptimize programs


Jun 28, 2017
Rudy Bunel, Alban Desmaison, M. Pawan Kumar, Philip H. S. Torr, Pushmeet Kohli

* Accepted to ICLR 2017 

  Access Paper or Ask Questions

Trusting SVM for Piecewise Linear CNNs


Mar 06, 2017
Leonard Berrada, Andrew Zisserman, M. Pawan Kumar


  Access Paper or Ask Questions

Efficient Linear Programming for Dense CRFs


Feb 14, 2017
Thalaiyasingam Ajanthan, Alban Desmaison, Rudy Bunel, Mathieu Salzmann, Philip H. S. Torr, M. Pawan Kumar

* 24 pages, 10 figures and 4 tables 

  Access Paper or Ask Questions

Learning to superoptimize programs - Workshop Version


Dec 04, 2016
Rudy Bunel, Alban Desmaison, M. Pawan Kumar, Philip H. S. Torr, Pushmeet Kohli

* Workshop version for the NIPS NAMPI Workshop. Extended version at arXiv:1611.01787 

  Access Paper or Ask Questions

Truncated Max-of-Convex Models


Dec 03, 2016
Pankaj Pansari, M. Pawan Kumar

* Under review at CVPR 2017 

  Access Paper or Ask Questions