Faculty Recruiting Support CICS

Events Calendar

06 Mar
Seminar
Computer Science Building, Room 150/151
Monday, 03/06/2023 4:00pm

Title: Trustworthy AI via Formal Verification and Adversarial Testing

Abstract: To apply deep learning to safety-critical tasks, we need to formally verify their trustworthiness, ensuring properties like safety,...