Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
ArtusDev
/
ByteDance-Seed_BFS-Prover-V2-32B-EXL3
like
0
Text Generation
lean4
step-prover
exl3
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
main
ByteDance-Seed_BFS-Prover-V2-32B-EXL3
11 kB
1 contributor
History:
5 commits
ArtusDev
Update README.md
666f05a
verified
about 2 months ago
.gitattributes
Safe
1.52 kB
initial commit
about 2 months ago
README.md
Safe
9.43 kB
Update README.md
about 2 months ago
