mradermacher/BFS-Prover-V2-32B-i1-GGUF download history
mradermacher/BFS-Prover-V2-32B-i1-GGUF is a model model by mradermacher. In the last 30 days it was downloaded 781 times (130 in the last 7 days), and 6,293 times in total.
It ranks #49,490 on the Hub by monthly downloads.
It has 0 likes.
It is a quantization of ByteDance-Seed/BFS-Prover-V2-32B.