BFS-Prover-V2 - a khanh2023 Collection

khanh2023 's Collections

Qwen3.6-14B-A3B-FableVibes

qwen3.5-4b-calculator

discrete-logarithm-Qwen3-4B

Goedel-Code-Prover

BFS-Prover-V2

updated May 8

ByteDance-Seed/BFS-Prover-V2-7B

Text Generation • 8B • Updated Oct 9, 2025 • 442 • • 7
khanh2023/BFS-Prover-V2-7B-mlx-mxfp4

Text Generation • 8B • Updated May 8 • 12
khanh2023/BFS-Prover-V2-7B-mlx-mxfp8

Text Generation • 8B • Updated May 8 • 13
khanh2023/BFS-Prover-V2-7B-mlx-group_size64-mixed_4_6

Text Generation • 8B • Updated May 8 • 21