SAIV 2024

Speaker

Min Wu

Talks at this conference:
 Mon, 16:00 Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
 Mon, 17:00 Parallel Verification for δ-Equivalence of Neural Network Quantization

 Overview