khanh2023/BFS-Prover-V2-7B-mlx-mxfp8 download history
khanh2023/BFS-Prover-V2-7B-mlx-mxfp8 is a 7.6B-parameter text generation model by khanh2023. In the last 30 days it was downloaded 14 times (6 in the last 7 days), and 62 times in total.
It ranks #570,036 on the Hub by monthly downloads and #197,329 among text generation models.
It has 0 likes.
It is a quantization of ByteDance-Seed/BFS-Prover-V2-7B.