SAIV 2025

Speaker

Yizhak Yisrael Elboher

Talks at this conference:
 Tue, 11:00 Abstraction-Based Proof Production in Formal Verification of Neural Networks

 Overview