Do we have a script to reproduce the numbers in the paper?

lean-dojo / LeanDojo

Tool for data extraction and interacting with Lean programmatically.

https://leandojo.org

MIT License

478 stars 72 forks source link

Closed hongjin-su closed 3 weeks ago

hongjin-su commented 3 weeks ago

As titled, Thanks!

yangky11 commented 3 weeks ago

Scripts for training and evaluating models are in the ReProver repo.