Improving Abstract Propagation for Verification of Neural Networks
Published in International Conference on Modelling and Simulation, ECMS 2024, Cracow, Poland, 2024
We experiment with different techniques to improve our verification algorithm.
Recommended citation: S. Demarchi, A. Gimelli and Armando Tacchella (2024), "Improving Abstract Propagation for Verification of Neural Networks." in International Conference on Modelling and Simulation, ECMS 2024, Cracow, Poland, June 4-7th, 2024, Proceedings, 2024.