Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
ArtusDev
/
ByteDance-Seed_BFS-Prover-V2-7B-EXL3
like
0
Text Generation
lean4
step-prover
exl3
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
4.5bpw_H6
ByteDance-Seed_BFS-Prover-V2-7B-EXL3
/
merges.txt
ArtusDev
Upload folder using huggingface_hub
1a27f87
verified
about 1 month ago
raw
Copy download link
history
Safe
1.67 MB
File too large to display, you can
check the raw version
instead.
