@misc{indiciae00976e243a5d,
  title = {A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning},
  author = {Christoph Lauter and Anastasia Volkova},
  year = {2020},
  url = {https://arxiv.org/abs/2002.03869},
  note = {Source identifier: 2002.03869}
}