Ladner, Tobias, and Matthias Althoff. 2024. “Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification”. Proceedings of the AAAI Conference on Artificial Intelligence 38 (19):21304-11. https://doi.org/10.1609/aaai.v38i19.30125.