Dj's research website
Dj's research website
Home
Publications
CV
Overcoming the Convex Barrier for Simplex Inputs
Harkirat Singh
,
M Pawan Kumar
,
Philip Torr
,
Krishnamurthy Dj Dvijotham
January 2021
Cite
Type
Conference paper
Publication
Advances in Neural Information Processing Systems
Related
Overcoming the Convex Barrier for Simplex Inputs
Lagrangian decomposition for neural network verification
A fine-grained analysis of robustness to distribution shifts
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications
The NodeHopper: Enabling Low Latency Ranking with Constraints via a Fast Dual Solver
Cite
×