Alkemet News
TorchLean: Formalizing Neural Networks in Lean
(leandojo.org)
66
points
bymatt_d
3 days ago |
9
comments
Invalid date
Invalid date