Marcel Chwialkowski, Eric Goubault, Sylvie Putot. Probabilistic Verification of Neural Networks with Sampling-Based Probability Box Propagation. In Mirco Giacobbe, Anna Lukina, editors, AI Verification - Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21-22, 2025, Proceedings. Volume 15947 of Lecture Notes in Computer Science, pages 115-135, Springer, 2025. [doi]
Abstract is missing.