5 ms·
Been formalizing the math of deep learning in Lean 4 by lowering to MLIR/IREE. https://github.com/brettkoonce/lean4-mlir https://github.com/brettkoonce/lean4-m
by asparagui 3mo ago
Been formalizing the math of deep learning in Lean 4 by lowering to MLIR/IREE.
https://github.com/brettkoonce/lean4-mlir https://github.com/brettkoonce/lean4-mlir