2026
On the Probabilistic Learnability of Compact Neural Network Preimage Bounds
AAAI 2026technical
Although recent provable methods have been developed to compute preimage bounds for neural networks, their scalability is fundamentally limited by the #P-hardness of the problem. In this work, we adopt a novel probabilistic perspective, aiming to deliver solutions with high-confidence guarantees and