I think this is a good application paper for Lean showing how you can use it to develop machine learning algorithms. https://arxiv.org/abs/1706.08605 https://a

I think this is a good application paper for Lean showing how you can use it to develop machine learning algorithms. https://arxiv.org/abs/1706.08605 https://arxiv.org/abs/1706.08605