{"stats":{"hostedArtifacts":1,"hostedFiles":1,"hostedBytes":4683074496,"mirroredHfFiles":0,"mirroredModelScopeFiles":0,"publisherUploadedFiles":0,"seededDemoFiles":0,"estimated":true,"scope":"returned-serve-eligible-rows","catalogTotals":{"readyFiles":97980,"readyPrograms":19247,"asOf":"2026-10-29T04:53:09.727Z","refreshing":true,"scope":"all-download-ready-programs","note":"Site-wide count of files in download-ready programs (the number /facts and /downloads show). stats.hostedFiles/hostedArtifacts count only the rows returned here."}},"pack":null,"rows":[{"artifactId":"hf-model-quantfactory-bfs-prover-gguf","visibility":"public","owner":"QuantFactory","name":"BFS-Prover-GGUF","repo":"QuantFactory/BFS-Prover-GGUF","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","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","region:us","conversational","llm","internlm/lean-workbook","internlm/lean-github"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: QuantFactory/BFS-Prover-GGUF · transformers","baseModel":null,"downloadCount":108,"filePath":"BFS-Prover.Q4_K_M.gguf","format":"gguf","risk":"low","sizeBytes":4683074496,"storageSizeBytes":4683074496,"sha256":"e7fe283835415a8e2dacf8af1d4d197397d5c36efee3fb043f17d78ae2ed390b","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-quantfactory-bfs-prover-gguf/BFS-Prover.Q4_K_M.gguf","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-quantfactory-bfs-prover-gguf","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-08-28T09:03:01.853Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T14:06:17.579Z","serveEvaluationId":"serve-84c8b4a713a04d1d425e00f1a9b4657720fb65defec57f19a460e2b334f64250","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4683074496,"readinessCheckedAt":"2026-10-29T14:06:17.727Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T14:06:17.579Z","serveEvaluationId":"serve-84c8b4a713a04d1d425e00f1a9b4657720fb65defec57f19a460e2b334f64250","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4683074496,"readinessCheckedAt":"2026-10-29T14:06:17.727Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"weight","default":true,"recommended":true,"recommendedReason":"default-weights","recommendedReasonText":"Default weights download","duplicateGroup":{"key":"bfsprover|Q4_K_M|gguf","size":1,"rank":1,"recommendedArtifactId":"hf-model-quantfactory-bfs-prover-gguf","recommendedFilePath":"BFS-Prover.Q4_K_M.gguf","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":true,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T14:06:17.727Z","evidence_url":"/api/manifests/hf-model-quantfactory-bfs-prover-gguf"},"signature_state":"signed"}],"walkUrl":"/api/downloadable-files?cursor=0&limit=200","generatedAt":"2026-10-29T14:06:17.732Z","recommendation":{"defaultFilePolicy":"GGUF Q4_K_M, Q5_K_M, smallest valid Q4, then other GGUF; safetensors; ONNX set; bin or pt. Side files and standalone shards excluded.","copyPolicy":"hugging-bay.duplicate-ready-tiebreak/v1","policy":"hugging-bay.duplicate-ready-tiebreak/v1","order":["official-publisher","most-downloaded","smallest-file"]},"note":{"summary":"Downloadable doesn't mean tested: this record says whether the exact file can be downloaded now, not that the model is complete or that it runs."}}