TY  - RPRT
TI  - Developing Bug-Free Machine Learning Systems With Formal Mathematics
AU  - Daniel Selsam
AU  - Percy Liang
AU  - David L. Dill
PY  - 2017
UR  - https://arxiv.org/abs/1706.08605
ID  - 1706.08605
ER  -