@misc{indiciae4008c21aef61,
  title = {Shared Certificates for Neural Network Verification},
  author = {Marc Fischer and Christian Sprecher and Dimitar I. Dimitrov and Gagandeep Singh and Martin Vechev},
  year = {2023},
  url = {https://arxiv.org/abs/2109.00542},
  note = {Source identifier: 2109.00542}
}