logoalt Hacker News

TorchLean: Formalizing Neural Networks in Lean

21 points • by matt_d • last Sunday at 3:03 AM • 2 comments • view on HN

Comments

measurablefunc • today at 5:28 PM

I guess the next step would be adding support for quantized arithmetic.

➕ show 1 reply