Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
internlm
/
internlm2_5-step-prover-critic
like
3
Follow
InternLM
254
Text Generation
PyTorch
internlm/Lean-Workbook
internlm/Lean-Github
English
internlm2
math
conversational
custom_code
arxiv:
2410.15700
License:
other
Model card
Files
Files and versions
Community
a7e1823
internlm2_5-step-prover-critic
1 contributor
History:
1 commit
InternLM-Math
initial commit
a7e1823
verified
about 1 month ago
.gitattributes
Safe
1.52 kB
initial commit
about 1 month ago
