Lean 3 Checkpoints #52
-
|
Hi, Really appreciate the work on this project. I wanted to ask if it's possible to get the final trained models for Lean 3 to replicate the results in the paper? Similar to the lightning checkpoints for the Lean 4 results found in https://huggingface.co/kaiyuy/leandojo-pl-ckpts Thanks for the help! |
Beta Was this translation helpful? Give feedback.
Answered by
yangky11
May 14, 2024
Replies: 1 comment
-
|
They were in the same repo and you can still find them from the repo's history. |
Beta Was this translation helpful? Give feedback.
0 replies
Answer selected by
sean-lamont
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
They were in the same repo and you can still find them from the repo's history.