Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
internlm
/
internlm2_5-step-prover
like
3
Follow
InternLM
313
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
refs/pr/2
internlm2_5-step-prover
/
pytorch_model-00001-of-00008.safetensors
Commit History
Adding `safetensors` variant of this model
ea1272b
verified
SFconvertbot
commited on
Oct 30, 2024