Talks
-
LINC: A Neuro-symbolic Approach for Logical Reasoning
PL/FM/SE PhD Qualification Exam, UIUC -
Multi-Network Relational Verification and Certifiable Training
CS584 Embedded System Verification, Spring 2025, UIUC -
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