A arxiv.org Developing Bug-Free Machine Learning Systems with Formal Mathematics 111 points pkay 9 years ago 9 comments
