SAIV 2025

Speaker

Siau-Cheng Khoo

Talks at this conference:
 Tue, 14:50 (Hybrid) GRENA: GPU-aided Abstract Refinement for Neural Network Verification

 Overview