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
859
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
3.41 GB
1 contributor
History:
3 commits
InternLM-Math
Create README.md
4235e3e
verified
about 1 year ago
.gitattributes
1.52 kB
initial commit
about 1 year ago
README.md
4.19 kB
Create README.md
about 1 year ago
added_tokens.json
189 Bytes
Upload folder using huggingface_hub
about 1 year ago
config.json
952 Bytes
Upload folder using huggingface_hub
about 1 year ago
configuration_internlm2.py
8.84 kB
Upload folder using huggingface_hub
about 1 year ago
modeling_internlm2.py
67.4 kB
Upload folder using huggingface_hub
about 1 year ago
pytorch_model-00001-of-00002.bin
1.98 GB
xet
Upload folder using huggingface_hub
about 1 year ago
pytorch_model-00002-of-00002.bin
1.42 GB
xet
Upload folder using huggingface_hub
about 1 year ago
pytorch_model.bin.index.json
13.7 kB
Upload folder using huggingface_hub
about 1 year ago
special_tokens_map.json
713 Bytes
Upload folder using huggingface_hub
about 1 year ago
tokenization_internlm2.py
8.81 kB
Upload folder using huggingface_hub
about 1 year ago
tokenization_internlm2_fast.py
7.81 kB
Upload folder using huggingface_hub
about 1 year ago
tokenizer.json
5.79 MB
Upload folder using huggingface_hub
about 1 year ago
tokenizer.model
1.48 MB
xet
Upload folder using huggingface_hub
about 1 year ago
tokenizer_config.json
37.3 kB
Upload folder using huggingface_hub
about 1 year ago
