1 code implementation • 1 Mar 2022 • Can Zhou, Razin A. Shaikh, Yiran Li, Amin Farjudian
A domain-theoretic framework is presented for validated robustness analysis of neural networks.