7 citations · 7 across the 2 of their papers we have counts for
5 papers
Weakly Supervised Instance Segmentation by Learning Annotation Consistent Instances
Aditya Arun, C. V. Jawahar, M. Pawan Kumar
Recent approaches for weakly supervised instance segmentations depend on two components: (i) a pseudo label generation model that provides instances which are consistent with a giv…
Lagrangian Decomposition for Neural Network Verification
Rudy Bunel, Alessandro De Palma, Alban Desmaison +4
A fundamental component of neural network verification is the computation of bounds on the values their outputs can take. Previous methods have either used off-the-shelf solvers, d…
Neural Network Branching for Neural Network Verification
Jingyue Lu, M. Pawan Kumar
Formal verification of neural networks is essential for their deployment in safety-critical areas. Many available formal verification methods have been shown to be instances of a u…
Training Neural Networks for and by Interpolation
Leonard Berrada, Andrew Zisserman, M. Pawan Kumar
In modern supervised learning, many deep neural networks are able to interpolate the data: the empirical loss can be driven to near zero on all samples simultaneously. In this work…
Coplanar Repeats by Energy Minimization
James Pritts, Denys Rozumnyi, M. Pawan Kumar +1
This paper proposes an automated method to detect, group and rectify arbitrarily-arranged coplanar repeated elements via energy minimization. The proposed energy functional combine…