On the Probabilistic Learnability of Compact Neural Network Preimage Bounds

This research introduces RF-ProVe, a novel probabilistic framework addressing the #P-hard challenge of computing preimage bounds in neural networks through r...

Level: expert

By Luca Marzari, Manuele Bicego, Ferdinando Cicalese, Alessandro Farinelli

Category: research