-
Hi, |
Beta Was this translation helpful? Give feedback.
Answered by
yangky11
Oct 28, 2023
Replies: 1 comment 1 reply
-
Hi, I just re-run ReProver (Lean 3) on miniF2F's test set and included the evaluation log here. It proves 27.8% test theorems (slightly better than our previous result). You can parse the log to see which theorems are successfully proved. |
Beta Was this translation helpful? Give feedback.
1 reply
Answer selected by
darabos
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Hi,
I just re-run ReProver (Lean 3) on miniF2F's test set and included the evaluation log here. It proves 27.8% test theorems (slightly better than our previous result). You can parse the log to see which theorems are successfully proved.