Dj's research website
Dj's research website
Home
Posts
Publications
CV
Rudy Bunel
Latest
An efficient nonconvex reformulation of stagewise convex optimization problems
Knowing When to Stop: Evaluation and Verification of Conformity to Output-size Specs
Verification of Non-Linear Specifications for Neural Networks
Scalable Verified Training for Provably Robust Image Classification
Cite
×