16 citations · 32 across the 9 of their papers we have counts for
3 papers · 1 filter
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…
Hybrid Models for Learning to Branch
Prateek Gupta, Maxime Gasse, Elias B. Khalil +3
A recent Graph Neural Network (GNN) approach for learning to branch has been shown to successfully reduce the running time of branch-and-bound algorithms for Mixed Integer Linear P…
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…