使用LeanDojo 我需要自己训练 ReProver 吗? #32
Answered
by
yangky11
aifuqiang02
asked this question in
Q&A
-
1、使用LeanDojo 我需要自己训练 ReProver 吗? 2、什么情况我需要自己训练ReProver ? |
Beta Was this translation helpful? Give feedback.
Answered by
yangky11
Jul 24, 2023
Replies: 1 comment
-
Our pretrained models can be found in https://github.com/lean-dojo/ReProver |
Beta Was this translation helpful? Give feedback.
0 replies
Answer selected by
yangky11
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Our pretrained models can be found in https://github.com/lean-dojo/ReProver