Dj's research website
Dj's research website
Home
Publications
CV
M Pawan Kumar
Latest
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications
Overcoming the Convex Barrier for Simplex Inputs
Overcoming the Convex Barrier for Simplex Inputs
Lagrangian decomposition for neural network verification
Cite
×