Friday, November 28, 2025 12:00 pm
-
1:00 pm
EST (GMT -05:00)
PhD Comprehensive Seminar | Shengbo (Joseph) Zou, Formal Verification of Robustness of Neural Networks: Applications in LLMs and PINNs
MC 5501