InternLM / InternLM/InternLM-Math
How to reproduce the results on ProofNet
Open
- Dominant language
- Python
- Stars
- 550
- Forks
- 39
- PR merge metrics
- No merged PRs in 30d
Description
Hello, thank you for your great work and I'm trying to reproduce your results. However, it seems that you only released the code for MiniF2F, so I'm wondering how to reproduce the results on ProofNet.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.