We gratefully acknowledge support from
the Simons Foundation and member institutions.

Joshua Pilipovsky is qualified to endorse.

Probabilistic Verification of ReLU Neural Networks via Characteristic Functions

Joshua Pilipovsky: Is registered as an author of this paper.
Can endorse for cs.LG, cs.SY, eess.SY, math.OC. (why?)

Vignesh Sivaramakrishnan, Meeko M. K. Oishi and Panagiotis Tsiotras are not registered as owners of this paper. (why?)