Speaker
Idan Refaeli
More Information:
Talks at this conference:
| Fri, 11:45 | PICID: Proof-Driven Clause Learning in Neural Network Verification |
| Sat, 11:30 | veriFIRE: An Industrial Case Study in Verifying Consistency Properties for DNN-Based Wildfire Detection System |