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 |
Speaker
| Mon, 16:00 | Marabou 2.0: A Versatile Formal Analyzer of Neural Networks |
| Mon, 17:00 | Parallel Verification for δ-Equivalence of Neural Network Quantization |