{"id":"7d2fbfe6-3b9e-4bc4-8a7a-a37fc548c648","slug":"hf-model-khanh2023-bfs-prover-v2-7b-mlx-group-size64-mixed-4-6-wrun6o-1h","name":"BFS-Prover-V2-7B-mlx-group_size64-mixed_4_6","description":"Hugging Face model khanh2023/BFS-Prover-V2-7B-mlx-group_size64-mixed_4_6. Task: text generation. Library: mlx. 19 downloads.","capabilities":["mlx","safetensors","qwen2","lean4","step-prover","text-generation","conversational","base_model:ByteDance-Seed/BFS-Prover-V2-7B","base_model:quantized:ByteDance-Seed/BFS-Prover-V2-7B","license:apache-2.0","4-bit"],"protocols":[],"safetyScore":80,"overallRank":33,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:40:08.886Z"}