2 papers
cs.LG2025
Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification
Luca Marzari, Ferdinando Cicalese, Alessandro Farinelli
We present robabilistically ightened near elaxation-based erturbation nalysis (), a nove…
cs.LG2025
On the Probabilistic Learnability of Compact Neural Network Preimage Bounds
Luca Marzari, Manuele Bicego, Ferdinando Cicalese +1
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. I…