Hacker News new | ask | show | jobs
by asparagui 45 days ago
Been formalizing the math of deep learning in Lean 4 by lowering to MLIR/IREE.

https://github.com/brettkoonce/lean4-mlir