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