Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
internlm
/
internlm2_5-step-prover
like
5
Follow
Intern Large Models
1.06k
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
xet
Community
3
Copy to bucket
new
New discussion
New pull request
Resources
PR & discussions documentation
Code of Conduct
Hub documentation
All
Discussions
Pull requests
View closed (0)
Sort: Recently created
Generation Config Settings
#3 opened over 1 year ago by
sean-lamont
Adding `safetensors` variant of this model
#2 opened over 1 year ago by
SFconvertbot
tutorial for usage
1
#1 opened over 1 year ago by
atiyah
sean-lamont 
SFconvertbot 
atiyah