sotoudehProvableRepairDeep2021:
  type: article
  title: Provable Repair of Deep Neural Networks
  author:
  - Sotoudeh, Matthew
  - Thakur, Aditya V.
  date: 2021-06-19
  page-range: 588-603
  url:
    value: https://dl.acm.org/doi/10.1145/3453483.3454064
    date: 2023-11-27
  serial-number:
    doi: 10.1145/3453483.3454064
    isbn: 978-1-4503-8391-2
  language: en-US
  parent:
  - type: proceedings
    title: Proceedings of the 42nd {ACM SIGPLAN International Conference} on {Programming Language Design} and {Implementation}
    publisher:
      name: ACM
      location: Virtual Canada
  - type: conference
    title: '{PLDI} ''21: 42nd {ACM SIGPLAN International Conference} on {Programming Language Design} and {Implementation}'