SAIV 2025
SAIV 2024 has successfully concluded! Stay tuned for the coming edition.
Speaker
Debangshu Banerjee
Talks at this conference:
Tue, 16:30 | Scalable relational verification and training for deep neural networks |
SAIV 2024 has successfully concluded! Stay tuned for the coming edition.
Speaker
Tue, 16:30 | Scalable relational verification and training for deep neural networks |