Comment by asparagui

18 hours ago

Been formalizing the math of deep learning in Lean 4 by lowering to MLIR/IREE.