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
Research direction
Review the repository's released MiniF2F code and determine whether a ProofNet evaluation path or instructions are present. Document the concrete steps needed to reproduce the ProofNet results, or clearly state what is unavailable; the issue is complete when a user can follow the repository guidance or understand the limitation.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- documentation, machine-learning
- Issue type
- Documentation
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100