TY - RPRT TI - A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning AU - Christoph Lauter AU - Anastasia Volkova PY - 2020 UR - https://arxiv.org/abs/2002.03869 ID - 2002.03869 ER -