lean4-mlir0.6.0
LLM-assisted Lean specification of neural architectures with verified IREE codegen.
1-10 of 10 versions of lean4-mlir
Sort by
Date
- 0.6
0.6.0v4.30.031.4 MB - 0.6
0.6.0v0.6.0v4.30.0 - 0.5
0.5.7v0.5.7v4.30.0-rc2 - 0.5
0.5.6v0.5.6v4.30.0-rc2 - 0.1
0.1.0v0.5.5v4.30.0-rc2 - 0.1
0.1.0v0.5.4v4.30.0-rc2 - 0.1
0.1.0v0.5.3v4.30.0-rc2 - 0.1
0.1.0v0.5.2v4.30.0-rc2 - 0.1
0.1.0v0.5.1v4.30.0-rc2 - 0.1
0.1.0v0.5v4.30.0-rc2