SAIF

Go to Project Site

Publications

. On Using Certified Training towards Empirical Robustness. In TMLR, 2025.

Project

. On Using Certified Training towards Empirical Robustness. CoRR abs/2410.01617, 2024.

Project arXiv

Talks

Static Analysis Methods for Neural Networks
Tuesday, February 4, 2025 10:45 AM
Machine Learning Interpretability and Verification
Thursday, April 4, 2024 9:30 AM
Machine Learning Interpretability and Verification
Friday, March 29, 2024 2:00 PM