@misc{indiciae50cfbe24d070,
  title = {PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations},
  author = {Mark Niklas Müller and Gleb Makarchuk and Gagandeep Singh and Markus Püschel and Martin Vechev},
  year = {2022},
  doi = {10.1145/3498704},
  url = {https://arxiv.org/abs/2103.03638},
  note = {Source identifier: 2103.03638}
}