We rewrote an ML Framework* in Lean, (and yes it is faster*)(theoric.com)
theoric.com
We rewrote an ML Framework* in Lean, (and yes it is faster*)
https://theoric.com/blog/we-rewrote-tinygrad-in-lean/
0 コメント
—
https://theoric.com/blog/we-rewrote-tinygrad-in-lean/
—