SAIV 2024

Speaker

Gagandeep Singh

Talks at this conference:
 Tue, 16:30 Scalable relational verification and training for deep neural networks

 Overview