SAIV 2026

Speaker

Guy Katz

More Information:
Talks at this conference:
 Fri, 11:45 PICID: Proof-Driven Clause Learning in Neural Network Verification
 Fri, 14:15 Neural Network Verification using Partial Multi-Neuron Relaxation
 Sat, 11:30 veriFIRE: An Industrial Case Study in Verifying Consistency Properties for DNN-Based Wildfire Detection System

 Overview