Alkemet News
TorchLean: Formalizing Neural Networks in Lean (leandojo.org)

66 points

bymatt_d

3 days ago |

9 comments