Talks
The love for teaching and sharing with others what I am excited about!
-
Verification and Certified Training of PINNs
CS598 Scientific Machine Learning, Fall 2023, UIUC
Nov 27, 2023
Slides -
Satisfiability and Synthesis Modulo Oracles
Formal Methods Seminar, Fall 2023, UIUC
Nov 8, 2023
Slides -
Neural Approximations of Abstract Transformers
CS477 Formal Software Development Methods, Spring 2023, UIUC
May 8, 2023
Slides -
Synthesizing Abstract Transformers
Formal Methods Seminar, Spring 2023, UIUC
Mar 31, 2023
Slides -
Monotonic Neural Networks
CS521 Trustworthy AI Systems, Fall 2022, UIUC
Nov 27, 2022
Slides