SAIV 2024

Speaker

Marta Kwiatkowska

Talks at this conference:
 Mon, 11:00 Provable Preimage Under-Approximation for Neural Networks

 Overview