✓

@Book{            2021arXiv210910317A,
  Author        = "{Albarghouthi}, Aws",
  adsnote       = "Provided by the SAO/NASA Astrophysics Data System",
  adsurl        = "https://ui.adsabs.harvard.edu/abs/2021arXiv210910317A",
  ArchivePrefix = "arXiv",
  date-added    = "2021-09-22 14:32:31 +0200",
  date-modified = "2022-08-01 07:45:36 +0200",
  EID           = "arXiv:2109.10317",
  EPrint        = "2109.10317",
  Journal       = "arXiv e-prints",
  Keywords      = "Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Programming Languages",
  Month         = "September",
  Pages         = "arXiv:2109.10317",
  PrimaryClass  = "cs.LG",
  Title         = "Introduction to Neural Network Verification",
  Year          = "2021",
  File          = "Introduction to Neural Network Verification.pdf"
}

@Book{ 2021arXiv210910317A, Author = "{Albarghouthi}, Aws", adsnote = "Provided by the SAO/NASA Astrophysics Data System", adsurl = "https://ui.adsabs.harvard.edu/abs/2021arXiv210910317A", ArchivePrefix = "arXiv", date-added = "2021-09-22 14:32:31 +0200", date-modified = "2022-08-01 07:45:36 +0200", EID = "arXiv:2109.10317", EPrint = "2109.10317", Journal = "arXiv e-prints", Keywords = "Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Programming Languages", Month = "September", Pages = "arXiv:2109.10317", PrimaryClass = "cs.LG", Title = "Introduction to Neural Network Verification", Year = "2021", File = "Introduction to Neural Network Verification.pdf" }