LeanDojo Machine learning for theorem proving in Lean: https://leandojo.org/ kaiyuy/leandojo-lean4-tacgen-byt5-small 0.3B • Updated Jul 16, 2024 • 170 • 14 kaiyuy/leandojo-lean4-retriever-byt5-small 0.2B • Updated Jul 16, 2024 • 178 • 5 kaiyuy/leandojo-lean4-retriever-tacgen-byt5-small 0.3B • Updated Jul 20, 2024 • 1.79k • 4 kaiyuy/leandojo-lean3-tacgen-byt5-small 0.3B • Updated Jan 17, 2024 • 17 • 1
LeanDojo Machine learning for theorem proving in Lean: https://leandojo.org/ kaiyuy/leandojo-lean4-tacgen-byt5-small 0.3B • Updated Jul 16, 2024 • 170 • 14 kaiyuy/leandojo-lean4-retriever-byt5-small 0.2B • Updated Jul 16, 2024 • 178 • 5 kaiyuy/leandojo-lean4-retriever-tacgen-byt5-small 0.3B • Updated Jul 20, 2024 • 1.79k • 4 kaiyuy/leandojo-lean3-tacgen-byt5-small 0.3B • Updated Jan 17, 2024 • 17 • 1
