List of ReProver proofs on benchmarks?

[darabos]

Hi,
I see a list of 33 new MiniF2F proofs from ReProver in facebookresearch/miniF2F#13. I was wondering if the whole set of ReProver-generated proofs was available somewhere? It would be useful for comparison with baseline proofs (on LeanDojo Benchmark) and with proofs from other automated provers.
Thanks!

[yangky11]

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.

[darabos]

Perfect, thanks so much!

(I've extracted it into a dict.)