Marzari, L.; Bicego, M.; Cicalese, F.; Farinelli, A. On the Probabilistic Learnability of Compact Neural Network Preimage Bounds. AAAI 2026, 40, 35707-35714.