TY  - RPRT
TI  - Verification of Neural Network Surrogates.
AU  - Haddad, Joshua
AU  - Bynum, Michael
AU  - Eydenberg, Michael
AU  - Blakely, Logan
AU  - Kilwein, Zachary
AU  - Boukouvala, Fani
AU  - Laird, Carl
AU  - Jalving, Jordan
PY  - 2022
DO  - 10.2172/2003604
UR  - https://www.osti.gov/biblio/2003604
ID  - 2003604
ER  -