QuantFactory/BFS-Prover-GGUF download history
QuantFactory/BFS-Prover-GGUF is a text generation model by QuantFactory. In the last 30 days it was downloaded 1,041 times (58 in the last 7 days), and 6,144 times in total.
It ranks #37,326 on the Hub by monthly downloads and #9,384 among text generation models.
It has 1 likes.
It is a quantization of Qwen/Qwen2.5-Math-7B.