{"stats":{"hostedArtifacts":1,"hostedFiles":7,"hostedBytes":2288164819,"mirroredHfFiles":0,"mirroredModelScopeFiles":0,"publisherUploadedFiles":0,"seededDemoFiles":0,"estimated":true,"scope":"returned-serve-eligible-rows","catalogTotals":{"readyFiles":101114,"readyPrograms":19353,"asOf":"2026-11-01T03:13:27.761Z","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-yuxuangong-lean-rag","visibility":"public","owner":"YuxuanGong","name":"lean-RAG","repo":"YuxuanGong/lean-RAG","type":"embedding","task":"sentence-similarity","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","sentence-transformers","safetensors","xlm-roberta","sentence-similarity","feature-extraction","mathlib4","lean4","formal-proof","retrieval","code-retrieval","math","en","zh","code","dataset:yuxuangong/mathlib4-declarations","arxiv:2402.03216","base_model:baai/bge-m3","base_model:finetune:baai/bge-m3","license:apache-2.0","text-embeddings-inference"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for sentence similarity: YuxuanGong/lean-RAG · sentence transformers","baseModel":"BAAI/bge-m3","downloadCount":70,"filePath":"config.json","format":"json","risk":"low","sizeBytes":743,"storageSizeBytes":743,"sha256":"89d2b894dfc77cbe0e18c99f1aaf82777673e7d029873c4fb9c8ea9a14c7f2f7","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-yuxuangong-lean-rag/config.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-yuxuangong-lean-rag","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-09-24T03:28:41.530Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T07:30:29.365Z","serveEvaluationId":"serve-5ba59d66e8d21b30edaa677b2efbb17c5edf7df169ebdde6a43341506359d206","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":743,"readinessCheckedAt":"2026-11-01T07:34:33.009Z","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-11-01T07:30:29.365Z","serveEvaluationId":"serve-5ba59d66e8d21b30edaa677b2efbb17c5edf7df169ebdde6a43341506359d206","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":743,"readinessCheckedAt":"2026-11-01T07:34:33.009Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"bgem3||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-yuxuangong-lean-rag","recommendedFilePath":"config_sentence_transformers.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T07:34:33.009Z","evidence_url":"/api/manifests/hf-model-yuxuangong-lean-rag"},"signature_state":"signed"},{"artifactId":"hf-model-yuxuangong-lean-rag","visibility":"public","owner":"YuxuanGong","name":"lean-RAG","repo":"YuxuanGong/lean-RAG","type":"embedding","task":"sentence-similarity","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","sentence-transformers","safetensors","xlm-roberta","sentence-similarity","feature-extraction","mathlib4","lean4","formal-proof","retrieval","code-retrieval","math","en","zh","code","dataset:yuxuangong/mathlib4-declarations","arxiv:2402.03216","base_model:baai/bge-m3","base_model:finetune:baai/bge-m3","license:apache-2.0","text-embeddings-inference"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for sentence similarity: YuxuanGong/lean-RAG · sentence transformers","baseModel":"BAAI/bge-m3","downloadCount":70,"filePath":"config_sentence_transformers.json","format":"json","risk":"low","sizeBytes":282,"storageSizeBytes":282,"sha256":"11bb8b0182a8bd10840821f93894f47fc295f5c1780af9b6fa3acaed8c24adf3","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-yuxuangong-lean-rag/config_sentence_transformers.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-yuxuangong-lean-rag","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-09-24T03:28:41.530Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T07:30:29.365Z","serveEvaluationId":"serve-5ba59d66e8d21b30edaa677b2efbb17c5edf7df169ebdde6a43341506359d206","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":282,"readinessCheckedAt":"2026-11-01T07:34:33.009Z","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-11-01T07:30:29.365Z","serveEvaluationId":"serve-5ba59d66e8d21b30edaa677b2efbb17c5edf7df169ebdde6a43341506359d206","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":282,"readinessCheckedAt":"2026-11-01T07:34:33.009Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"bgem3||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-yuxuangong-lean-rag","recommendedFilePath":"config_sentence_transformers.json","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-11-01T07:34:33.009Z","evidence_url":"/api/manifests/hf-model-yuxuangong-lean-rag"},"signature_state":"signed"},{"artifactId":"hf-model-yuxuangong-lean-rag","visibility":"public","owner":"YuxuanGong","name":"lean-RAG","repo":"YuxuanGong/lean-RAG","type":"embedding","task":"sentence-similarity","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","sentence-transformers","safetensors","xlm-roberta","sentence-similarity","feature-extraction","mathlib4","lean4","formal-proof","retrieval","code-retrieval","math","en","zh","code","dataset:yuxuangong/mathlib4-declarations","arxiv:2402.03216","base_model:baai/bge-m3","base_model:finetune:baai/bge-m3","license:apache-2.0","text-embeddings-inference"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for sentence similarity: YuxuanGong/lean-RAG · sentence transformers","baseModel":"BAAI/bge-m3","downloadCount":70,"filePath":"model.safetensors","format":"safetensors","risk":"low","sizeBytes":2271064408,"storageSizeBytes":2271064408,"sha256":"fa352e1ec4262142ab55ba868cab6c3a5b99f0b561b065241afd75eb0e5c12d7","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-yuxuangong-lean-rag/model.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-yuxuangong-lean-rag","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-09-24T03:28:41.530Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T07:30:29.365Z","serveEvaluationId":"serve-5ba59d66e8d21b30edaa677b2efbb17c5edf7df169ebdde6a43341506359d206","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2271064408,"readinessCheckedAt":"2026-11-01T07:34:33.009Z","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-11-01T07:30:29.365Z","serveEvaluationId":"serve-5ba59d66e8d21b30edaa677b2efbb17c5edf7df169ebdde6a43341506359d206","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2271064408,"readinessCheckedAt":"2026-11-01T07:34:33.009Z","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":"bgem3||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-yuxuangong-lean-rag","recommendedFilePath":"model.safetensors","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-11-01T07:34:33.009Z","evidence_url":"/api/manifests/hf-model-yuxuangong-lean-rag"},"signature_state":"signed"},{"artifactId":"hf-model-yuxuangong-lean-rag","visibility":"public","owner":"YuxuanGong","name":"lean-RAG","repo":"YuxuanGong/lean-RAG","type":"embedding","task":"sentence-similarity","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","sentence-transformers","safetensors","xlm-roberta","sentence-similarity","feature-extraction","mathlib4","lean4","formal-proof","retrieval","code-retrieval","math","en","zh","code","dataset:yuxuangong/mathlib4-declarations","arxiv:2402.03216","base_model:baai/bge-m3","base_model:finetune:baai/bge-m3","license:apache-2.0","text-embeddings-inference"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for sentence similarity: YuxuanGong/lean-RAG · sentence transformers","baseModel":"BAAI/bge-m3","downloadCount":70,"filePath":"modules.json","format":"json","risk":"low","sizeBytes":429,"storageSizeBytes":429,"sha256":"fa7d796a215e1b2416773062891923b191fc5a4849bc44e322997433c90f459c","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-yuxuangong-lean-rag/modules.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-yuxuangong-lean-rag","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-09-24T03:28:41.530Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T07:30:29.365Z","serveEvaluationId":"serve-5ba59d66e8d21b30edaa677b2efbb17c5edf7df169ebdde6a43341506359d206","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":429,"readinessCheckedAt":"2026-11-01T07:34:33.009Z","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-11-01T07:30:29.365Z","serveEvaluationId":"serve-5ba59d66e8d21b30edaa677b2efbb17c5edf7df169ebdde6a43341506359d206","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":429,"readinessCheckedAt":"2026-11-01T07:34:33.009Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"bgem3||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-yuxuangong-lean-rag","recommendedFilePath":"config_sentence_transformers.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T07:34:33.009Z","evidence_url":"/api/manifests/hf-model-yuxuangong-lean-rag"},"signature_state":"signed"},{"artifactId":"hf-model-yuxuangong-lean-rag","visibility":"public","owner":"YuxuanGong","name":"lean-RAG","repo":"YuxuanGong/lean-RAG","type":"embedding","task":"sentence-similarity","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","sentence-transformers","safetensors","xlm-roberta","sentence-similarity","feature-extraction","mathlib4","lean4","formal-proof","retrieval","code-retrieval","math","en","zh","code","dataset:yuxuangong/mathlib4-declarations","arxiv:2402.03216","base_model:baai/bge-m3","base_model:finetune:baai/bge-m3","license:apache-2.0","text-embeddings-inference"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for sentence similarity: YuxuanGong/lean-RAG · sentence transformers","baseModel":"BAAI/bge-m3","downloadCount":70,"filePath":"sentence_bert_config.json","format":"json","risk":"low","sizeBytes":241,"storageSizeBytes":241,"sha256":"3084164002c0bca01b0259c5327123803fce32e660a57feb93184ffead186fc8","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-yuxuangong-lean-rag/sentence_bert_config.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-yuxuangong-lean-rag","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-09-24T03:28:41.530Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T07:30:29.365Z","serveEvaluationId":"serve-5ba59d66e8d21b30edaa677b2efbb17c5edf7df169ebdde6a43341506359d206","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":241,"readinessCheckedAt":"2026-11-01T07:34:33.009Z","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-11-01T07:30:29.365Z","serveEvaluationId":"serve-5ba59d66e8d21b30edaa677b2efbb17c5edf7df169ebdde6a43341506359d206","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":241,"readinessCheckedAt":"2026-11-01T07:34:33.009Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"bgem3||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-yuxuangong-lean-rag","recommendedFilePath":"config_sentence_transformers.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T07:34:33.009Z","evidence_url":"/api/manifests/hf-model-yuxuangong-lean-rag"},"signature_state":"signed"},{"artifactId":"hf-model-yuxuangong-lean-rag","visibility":"public","owner":"YuxuanGong","name":"lean-RAG","repo":"YuxuanGong/lean-RAG","type":"embedding","task":"sentence-similarity","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","sentence-transformers","safetensors","xlm-roberta","sentence-similarity","feature-extraction","mathlib4","lean4","formal-proof","retrieval","code-retrieval","math","en","zh","code","dataset:yuxuangong/mathlib4-declarations","arxiv:2402.03216","base_model:baai/bge-m3","base_model:finetune:baai/bge-m3","license:apache-2.0","text-embeddings-inference"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for sentence similarity: YuxuanGong/lean-RAG · sentence transformers","baseModel":"BAAI/bge-m3","downloadCount":70,"filePath":"tokenizer.json","format":"json","risk":"low","sizeBytes":17098338,"storageSizeBytes":17098338,"sha256":"186958617870145e2384b91f3e26e0299499ee25baba7b72c7a761e16641e797","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-yuxuangong-lean-rag/tokenizer.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-yuxuangong-lean-rag","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-09-24T03:28:41.530Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T07:30:29.365Z","serveEvaluationId":"serve-5ba59d66e8d21b30edaa677b2efbb17c5edf7df169ebdde6a43341506359d206","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":17098338,"readinessCheckedAt":"2026-11-01T07:34:33.009Z","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-11-01T07:30:29.365Z","serveEvaluationId":"serve-5ba59d66e8d21b30edaa677b2efbb17c5edf7df169ebdde6a43341506359d206","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":17098338,"readinessCheckedAt":"2026-11-01T07:34:33.009Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"bgem3||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-yuxuangong-lean-rag","recommendedFilePath":"config_sentence_transformers.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T07:34:33.009Z","evidence_url":"/api/manifests/hf-model-yuxuangong-lean-rag"},"signature_state":"signed"},{"artifactId":"hf-model-yuxuangong-lean-rag","visibility":"public","owner":"YuxuanGong","name":"lean-RAG","repo":"YuxuanGong/lean-RAG","type":"embedding","task":"sentence-similarity","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","sentence-transformers","safetensors","xlm-roberta","sentence-similarity","feature-extraction","mathlib4","lean4","formal-proof","retrieval","code-retrieval","math","en","zh","code","dataset:yuxuangong/mathlib4-declarations","arxiv:2402.03216","base_model:baai/bge-m3","base_model:finetune:baai/bge-m3","license:apache-2.0","text-embeddings-inference"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for sentence similarity: YuxuanGong/lean-RAG · sentence transformers","baseModel":"BAAI/bge-m3","downloadCount":70,"filePath":"tokenizer_config.json","format":"json","risk":"low","sizeBytes":378,"storageSizeBytes":378,"sha256":"9fb7b823a46fbf772358c968839d0fa9d86352f8bfc9dabb20a2728542859ce5","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-yuxuangong-lean-rag/tokenizer_config.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-yuxuangong-lean-rag","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-09-24T03:28:41.530Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T07:30:29.365Z","serveEvaluationId":"serve-5ba59d66e8d21b30edaa677b2efbb17c5edf7df169ebdde6a43341506359d206","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":378,"readinessCheckedAt":"2026-11-01T07:34:33.009Z","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-11-01T07:30:29.365Z","serveEvaluationId":"serve-5ba59d66e8d21b30edaa677b2efbb17c5edf7df169ebdde6a43341506359d206","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":378,"readinessCheckedAt":"2026-11-01T07:34:33.009Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"bgem3||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-yuxuangong-lean-rag","recommendedFilePath":"config_sentence_transformers.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T07:34:33.009Z","evidence_url":"/api/manifests/hf-model-yuxuangong-lean-rag"},"signature_state":"signed"}],"walkUrl":"/api/downloadable-files?cursor=0&limit=200","generatedAt":"2026-11-01T07:34:33.019Z","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."}}