@misc{indiciae8c1da84d9de8,
  title = {Verification of Neural Network Surrogates.},
  author = {Haddad, Joshua and Bynum, Michael and Eydenberg, Michael and Blakely, Logan and Kilwein, Zachary and Boukouvala, Fani and Laird, Carl and Jalving, Jordan},
  year = {2022},
  doi = {10.2172/2003604},
  url = {https://www.osti.gov/biblio/2003604},
  note = {Source identifier: 2003604}
}