Dj's research website
Dj's research website
Home
Publications
CV
Overcoming the Convex Barrier for Simplex Inputs
Harkirat Singh Behl
,
M Pawan Kumar
,
Philip Torr
,
Krishnamurthy Dvijotham
January 2021
Cite
Type
Journal article
Publication
Advances in Neural Information Processing Systems
Related
Overcoming the Convex Barrier for Simplex Inputs
Lagrangian decomposition for neural network verification
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications
Learning Fast Optimizers for Contextual Stochastic Integer Programs
A dual approach to scalable verification of deep networks
Cite
×