( en | de | ru )

 

Disambiguation of "Kumar, M. Pawan"

Author of the publication

copydeleteadd this publication to your clipboard
Lagrangian Decomposition for Neural Network Verification.

, , , , , , and . UAI, volume 124 of Proceedings of Machine Learning Research, page 370-379. AUAI Press, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Pawan Kumar Singh

Pawan Kumar Thapa

Pawan Surana

Pawan Sinha

Pawan Bista

 

Other publications of authors with the same name

Polygonal Approximation of Closed Curves across Multiple Views., , , and . ICVGIP, Allied Publishers Private Limited, (2002)Neural Network Branching for Neural Network Verification., and . ICLR, OpenReview.net, (2020)Neural Network Branch-and-Bound for Neural Network Verification., , and . CoRR, (2021)Optimal Submodular Extensions for Marginal Estimation., , and . AISTATS, volume 84 of Proceedings of Machine Learning Research, page 327-335. PMLR, (2018)Smooth Loss Functions for Deep Top-k Classification., , and . ICLR (Poster), OpenReview.net, (2018)Improved Moves for Truncated Convex Models., and . NIPS, page 889-896. Curran Associates, Inc., (2008)Efficient Optimization for Average Precision SVM., , and . NIPS, page 2312-2320. (2014)OBJ CUT., , and . CVPR (1), page 18-25. IEEE Computer Society, (2005)Parsimonious Labeling., and . ICCV, page 1760-1768. IEEE Computer Society, (2015)Fast Memory-Efficient Generalized Belief Propagation., and . ECCV (4), volume 3954 of Lecture Notes in Computer Science, page 451-463. Springer, (2006)