Kohli, Pushmeet
141 publications
NeurIPS
2020
Enabling Certification of Verification-Agnostic Networks via Memory-Efficient Semidefinite Programming
CVPR
2019
Knowing When to Stop: Evaluation and Verification of Conformity to Output-Size Specifications
ICCVW
2017
Vision-as-Inverse-Graphics: Obtaining a Rich 3D Explanation of a Scene from a Single Image
UAI
2015
Minimizing Expected Losses in Perturbation Models with Multidimensional Parametric Min-Cuts
MLJ
2014
Manifestations of User Personality in Website Choice and Behaviour on Online Social Networks
AISTATS
2011
Tighter Relaxations for MAP-MRF Inference: A Local Primal-Dual Gap Based Separation Algorithm