Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
internlm
/
internlm2_5-step-prover-critic
like
6
Follow
InternLM
460
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
2
New discussion
New pull request
Resources
PR & discussions documentation
Code of Conduct
Hub documentation
All
Discussions
Pull requests
View closed (0)
Search Setup to Replicate Paper
#2 opened 21 days ago by
sean-lamont
Adding `safetensors` variant of this model
#1 opened 3 months ago by
SFconvertbot