Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing (regular paper). - Luca Marzari; Gabriele Roncolato; Alessandro Farinelli (AIRO@AI*IA, 2023)

Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing. - Luca Marzari; Gabriele Roncolato; Alessandro Farinelli (CoRR, 2023)