SAIV 2025

Speaker

Shaun Tan Zong Zhi

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

 Overview