Hugging Face
Models
Datasets
Spaces
Buckets
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
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.36k
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
main
internlm2_5-step-prover
Commit History
Oct 22, 2024
16:17
Create README.md
InternLM-Math
Verified signature
9cb19fb
Oct 21, 2024
07:08
Upload folder using huggingface_hub
InternLM-Math
Verified signature
ea4b995
06:50
initial commit
InternLM-Math
Verified signature
e08f432
