date:
updated:

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.

Time:

  • Nov 9, 1000-1100 [GMT+8]
  • Nov 8, 2100-2200 [CDT]

Topic:

  • Formal Method Introduction
  • Talker: Ying Sheng & Haoze Wu @ Stanford Univerity

← Prev AEGIS W16-Federated Learning | AEGIS W14-Bluetooth Security Next →