We rewrote an ML Framework* in Lean, (and yes it is faster*)

2 pointsposted 5 hours ago
by hargup
(theoric.com)

No comments yet