khanh2023/BFS-Prover-V2-7B-mlx-mxfp4 download history
khanh2023/BFS-Prover-V2-7B-mlx-mxfp4 is a 7.6B-parameter text generation model by khanh2023. In the last 30 days it was downloaded 12 times (6 in the last 7 days), and 61 times in total.
It ranks #653,410 on the Hub by monthly downloads and #238,415 among text generation models.
It has 0 likes.
It is a quantization of ByteDance-Seed/BFS-Prover-V2-7B.