Marzari, L., Bicego, M., Cicalese, F., & Farinelli, A. (2026). On the Probabilistic Learnability of Compact Neural Network Preimage Bounds. Proceedings of the AAAI Conference on Artificial Intelligence, 40(42), 35707–35714. https://doi.org/10.1609/aaai.v40i42.40883