Hashemi, Navid

2 publications

NeurIPS 2025 Scaling Data-Driven Probabilistic Robustness Analysis for Semantic Segmentation Neural Networks Navid Hashemi, Samuel Sasaki, Ipek Oguz, Meiyi Ma, Taylor T Johnson

L4DC 2021 Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization Navid Hashemi, Justin Ruths, Mahyar Fazlyab