ML Anthology

Ruths, Justin

1 publications

L4DC 2021 Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization Navid Hashemi, Justin Ruths, Mahyar Fazlyab