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.02k
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
main
internlm2_5-step-prover
Commit History
Create README.md
9cb19fb
verified
InternLM-Math
commited on
Oct 22, 2024
Upload folder using huggingface_hub
ea4b995
verified
InternLM-Math
commited on
Oct 21, 2024
initial commit
e08f432
verified
InternLM-Math
commited on
Oct 21, 2024
InternLM-Math commited on 
