Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
chenyili818
/
BFS-Prover
like
0
Text Generation
Safetensors
qwen2
lean4
step-prover
conversational
arxiv:
2509.06493
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
main
BFS-Prover
30.5 GB
1 contributor
History:
2 commits
chenyili818
Upload folder using huggingface_hub
f1220d7
verified
28 days ago
.gitattributes
1.57 kB
Upload folder using huggingface_hub
28 days ago
README.md
4.44 kB
Upload folder using huggingface_hub
28 days ago
added_tokens.json
605 Bytes
Upload folder using huggingface_hub
28 days ago
chat_template.jinja
550 Bytes
Upload folder using huggingface_hub
28 days ago
config.json
727 Bytes
Upload folder using huggingface_hub
28 days ago
generation_config.json
117 Bytes
Upload folder using huggingface_hub
28 days ago
merges.txt
1.67 MB
Upload folder using huggingface_hub
28 days ago
model-00001-of-00007.safetensors
4.98 GB
xet
Upload folder using huggingface_hub
28 days ago
model-00002-of-00007.safetensors
4.78 GB
xet
Upload folder using huggingface_hub
28 days ago
model-00003-of-00007.safetensors
4.93 GB
xet
Upload folder using huggingface_hub
28 days ago
model-00004-of-00007.safetensors
4.93 GB
xet
Upload folder using huggingface_hub
28 days ago
model-00005-of-00007.safetensors
5 GB
xet
Upload folder using huggingface_hub
28 days ago
model-00006-of-00007.safetensors
3.66 GB
xet
Upload folder using huggingface_hub
28 days ago
model-00007-of-00007.safetensors
2.18 GB
xet
Upload folder using huggingface_hub
28 days ago
model.safetensors.index.json
27.8 kB
Upload folder using huggingface_hub
28 days ago
special_tokens_map.json
616 Bytes
Upload folder using huggingface_hub
28 days ago
tokenizer.json
11.4 MB
xet
Upload folder using huggingface_hub
28 days ago
tokenizer_config.json
7.38 kB
Upload folder using huggingface_hub
28 days ago
vocab.json
2.78 MB
Upload folder using huggingface_hub
28 days ago
