Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
internlm
/
internlm2-step-prover
like
20
Follow
InternLM
245
Text Generation
Transformers
PyTorch
English
internlm2
feature-extraction
math
conversational
custom_code
arxiv:
2407.17227
License:
other
Model card
Files
Files and versions
Community
1
Train
Use this model
main
internlm2-step-prover
/
tokenizer.model
Commit History
Upload folder using huggingface_hub
6c72704
verified
InternLM-Math
commited on
Jul 24