Dates

Friday, May 09, 2025 - 02:30pm to Friday, May 09, 2025 - 03:30pm

Location

NCS 120

Event Description

Speaker: Prof. Stanley Bak

Event Title

CSE 600 Seminar: Formal Verification for Neural Networks