ByteDance-Seed/BFS-Prover-V2-32B
Text Generation • 33B • Updated • 222 • • 13
Edit Models filters
Model Tree
Apps
Inference Providers
Models
11
Active filters: step-prover
mradermacher/BFS-Prover-V2-32B-GGUF
33B • Updated • 68
mradermacher/BFS-Prover-V2-32B-i1-GGUF
33B • Updated • 232
ByteDance-Seed/BFS-Prover-V2-7B
Text Generation • 8B • Updated • 575 • • 7
mradermacher/BFS-Prover-V2-7B-GGUF
8B • Updated • 103
mradermacher/BFS-Prover-V2-7B-i1-GGUF
8B • Updated • 306
ArtusDev/ByteDance-Seed_BFS-Prover-V2-7B-EXL3
Text Generation • Updated • 1
ArtusDev/ByteDance-Seed_BFS-Prover-V2-32B-EXL3
Text Generation • Updated
khanh2023/BFS-Prover-V2-7B-mlx-group_size64-mixed_4_6
Text Generation • 1B • Updated • 160
khanh2023/BFS-Prover-V2-7B-mlx-mxfp4
Text Generation • 1B • Updated • 31
khanh2023/BFS-Prover-V2-7B-mlx-mxfp8
Text Generation • 8B • Updated • 24