Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing

Luca Marzari, Gabriele Roncolato, Alessandro Farinelli

Deep Neural Networks (DNNs) are powerful tools that have shown extraordinary results in many scenarios, ranging from pattern recognition to complex robotic problems. However, their…