Author of the publication

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.

 

Other publications of authors with the same name

SNIP: Single-shot Network Pruning based on Connection Sensitivity., , and . CoRR, (2018)Model Selection for Two View Geometry: A Review.. Shape, Contour and Grouping in Computer Vision, volume 1681 of Lecture Notes in Computer Science, page 277-301. Springer, (1999)ImageSpirit: Verbal Guided Image Parsing., , , , , , , , and . CoRR, (2013)Learn to Pay Attention., , , and . ICLR (Poster), OpenReview.net, (2018)Efficiently solving convex relaxations for MAP estimation., and . ICML, volume 307 of ACM International Conference Proceeding Series, page 680-687. ACM, (2008)Multi-Channel Attention Selection GANs for Guided Image-to-Image Translation., , , , , and . CoRR, (2020)Riemannian Walk for Incremental Learning: Understanding Forgetting and Intransigence., , , and . ECCV (11), volume 11215 of Lecture Notes in Computer Science, page 556-572. Springer, (2018)A Bayesian Estimation of Building Shape Using MCMC., , and . ECCV (2), volume 2351 of Lecture Notes in Computer Science, page 852-866. Springer, (2002)Gaussian Process Latent Variable Models for Human Pose Estimation., , and . MLMI, volume 4892 of Lecture Notes in Computer Science, page 132-143. Springer, (2007)Robust Detection of Degenerate Configurations for the Fundamental Matrix, , and . Computer Vision and Image Understanding, 71 (3): 312--333 (1998)