Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification.

Tobias Ladner, Matthias Althoff

Browse the full AAAI paper archive.