Neural Abstract Interpretation
Formal Methods Seminar, Spring 2024, UIUC
Verification and Certified Training of PINNs
CS598 Scientific Machine Learning, Fall 2023, UIUC
Satisfiability and Synthesis Modulo Oracles
Formal Methods Seminar, Fall 2023, UIUC
Neural Approximations of Abstract Transformers
CS477 Formal Software Development Methods, Spring 2023, UIUC
Synthesizing Abstract Transformers
Formal Methods Seminar, Spring 2023, UIUC
Monotonic Neural Networks
CS521 Trustworthy AI Systems, Fall 2022, UIUC