richardyoung/bfs-prover-v2-32b download history
richardyoung/bfs-prover-v2-32b is a text generation model by richardyoung. In the last 30 days it was downloaded 66 times (20 in the last 7 days), and 480 times in total.
It ranks #226,959 on the Hub by monthly downloads and #59,938 among text generation models.
It has 0 likes.
It is a quantization of ByteDance-Seed/BFS-Prover-V2-32B.