Developing Bug-Free Machine Learning Systems with Formal Mathematics
Dec 30, 2017
I think this is a good application paper for Lean showing how you can use it to develop machine learning algorithms.
I think this is a good application paper for Lean showing how you can use it to develop machine learning algorithms.