Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
internlm
/
internlm2_5-step-prover-critic
like
6
Follow
Intern Large Models
813
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
2
main
internlm2_5-step-prover-critic
/
tokenizer.json
InternLM-Math
Upload folder using huggingface_hub
08ad504
verified
about 1 year ago
raw
Copy download link
history
contribute
delete
Safe
5.79 MB
File too large to display, you can
check the raw version
instead.