NHacker Next
  • new
  • past
  • show
  • ask
  • show
  • jobs
  • submit
▲TorchLean: Formalizing Neural Networks in Lean (leandojo.org)
21 points by matt_d 3 days ago | 2 comments
measurablefunc 1 hours ago [-]
I guess the next step would be adding support for quantized arithmetic.
pstoll 1 hours ago [-]
And the lower precision float variants.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
Rendered at 18:52:44 GMT+0000 (Coordinated Universal Time) with Vercel.