AEGIS W15-Verifying DNNs with Formal Method
This is the second episode of W13 formal method tutorial. In this webinar, Haoze will continue to introduce some of his recent work in Verifying DNNs efficiently with Formal Method.
- Nov 9, 1000-1100 [GMT+8]
- Nov 8, 2100-2200 [CDT]
- Formal Method Introduction
- Talker: Ying Sheng & Haoze Wu @ Stanford Univerity