{"id":"28a80198-14de-4f3f-87f1-3d6b254dc6da","slug":"hf-model-quantfactory-bfs-prover-gguf-180gaub-s","name":"BFS-Prover-GGUF","description":"Hugging Face model QuantFactory/BFS-Prover-GGUF. Task: text generation. Library: transformers. 432 downloads. 1 likes.","capabilities":["transformers","gguf","lean4","theorem-proving","formal-mathematics","text-generation","en","dataset:internlm/Lean-Workbook","dataset:internlm/Lean-Github","dataset:AI-MO/NuminaMath-CoT","arxiv:2502.03438","base_model:Qwen/Qwen2.5-Math-7B","base_model:quantized:Qwen/Qwen2.5-Math-7B","license:apache-2.0","endpoints_compatible","conversational"],"protocols":[],"safetyScore":80,"overallRank":41,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:39.781Z"}