Skip to content

khanh2023

BFS-Prover-V2-7B-mlx-mxfp4

khanh2023/BFS-Prover-V2-7B-mlx-mxfp4

BFS-Prover-V2-7B-mlx-mxfp4 is a text generation model from khanh2023. Use it when you need the model to write or continue text. It is set up for mlx. The card lists the license as apache-2.0.

Downloads · 30 days

12

16% of all-time downloads

All-time downloads

75

Public

Parameters

7.6B

4.1 GB on disk

Likes

0

Public

Hugging Face

Repo makeup

Click a slice to open those files.

.safetensors4 GB · 100%

Parameter types

How the weights are stored.

U327.6B · 100%

Try a prompt

Base models

Task
Text Generation
Library
mlx
Type
qwen2
License
apache-2.0
Created
May 8, 2026
Updated
May 8, 2026