{"stats":{"hostedArtifacts":1,"hostedFiles":14,"hostedBytes":16397435530,"mirroredHfFiles":0,"mirroredModelScopeFiles":0,"publisherUploadedFiles":0,"seededDemoFiles":0,"estimated":true,"scope":"returned-serve-eligible-rows","catalogTotals":{"readyFiles":104238,"readyPrograms":19387,"asOf":"2026-11-02T21:44:48.280Z","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-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"README.md","format":"md","risk":"low","sizeBytes":2435,"storageSizeBytes":2435,"sha256":"fb99bdc55ff4af4f2b49b14a71f64d2402ed7780202cd9e424236480e1f2e4d9","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"unknown","hosted":null,"downloadAuthorized":true,"downloadable":null,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/README.md","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-06T01:40:40.367Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":2435,"readinessCheckedAt":"2026-11-03T10:18:49.619Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":null,"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":2435,"readinessCheckedAt":"2026-11-03T10:18:49.619Z","readinessSource":"file-check","degraded":false,"stale":false,"obtainReady":null,"hosted":null,"runReady":null},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"goedelformalizerv28b||md","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","recommendedFilePath":"README.md","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":true,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"signed","freshness":"current","checked_at":"2026-11-03T10:18:49.619Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"added_tokens.json","format":"json","risk":"low","sizeBytes":707,"storageSizeBytes":707,"sha256":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"unknown","hosted":null,"downloadAuthorized":true,"downloadable":null,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/added_tokens.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-06T01:40:40.367Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":707,"readinessCheckedAt":"2026-11-03T10:18:49.619Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":null,"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":707,"readinessCheckedAt":"2026-11-03T10:18:49.619Z","readinessSource":"file-check","degraded":false,"stale":false,"obtainReady":null,"hosted":null,"runReady":null},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"goedelformalizerv28b||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":true,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"signed","freshness":"current","checked_at":"2026-11-03T10:18:49.619Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"config.json","format":"json","risk":"low","sizeBytes":730,"storageSizeBytes":730,"sha256":"6d4190d4c7ae77cba38a83cce1152ead961929795a7a95d4814b3fb65ab878a3","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"unknown","hosted":null,"downloadAuthorized":true,"downloadable":null,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/config.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-06T01:40:40.367Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":730,"readinessCheckedAt":"2026-11-03T10:18:49.620Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":null,"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":730,"readinessCheckedAt":"2026-11-03T10:18:49.620Z","readinessSource":"file-check","degraded":false,"stale":false,"obtainReady":null,"hosted":null,"runReady":null},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"goedelformalizerv28b||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"signed","freshness":"current","checked_at":"2026-11-03T10:18:49.620Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"generation_config.json","format":"json","risk":"low","sizeBytes":214,"storageSizeBytes":214,"sha256":"ae29473afe95319d9adb9553a2cad4a89db813ff768792f29c5278fb127ff4cc","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"unknown","hosted":null,"downloadAuthorized":true,"downloadable":null,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/generation_config.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-06T01:40:40.367Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":214,"readinessCheckedAt":"2026-11-03T10:18:49.620Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":null,"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":214,"readinessCheckedAt":"2026-11-03T10:18:49.620Z","readinessSource":"file-check","degraded":false,"stale":false,"obtainReady":null,"hosted":null,"runReady":null},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"goedelformalizerv28b||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"signed","freshness":"current","checked_at":"2026-11-03T10:18:49.620Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"merges.txt","format":"txt","risk":"low","sizeBytes":1671853,"storageSizeBytes":1671853,"sha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"unknown","hosted":null,"downloadAuthorized":true,"downloadable":null,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/merges.txt","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-06T01:40:40.367Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":1671853,"readinessCheckedAt":"2026-11-03T10:18:49.620Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":null,"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":1671853,"readinessCheckedAt":"2026-11-03T10:18:49.620Z","readinessSource":"file-check","degraded":false,"stale":false,"obtainReady":null,"hosted":null,"runReady":null},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"goedelformalizerv28b||txt","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","recommendedFilePath":"merges.txt","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":true,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"signed","freshness":"current","checked_at":"2026-11-03T10:18:49.620Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"model-00001-of-00004.safetensors","format":"safetensors","risk":"low","sizeBytes":4902257696,"storageSizeBytes":4902257696,"sha256":"e70040a504dbd55b64d83cbcb3754757511102de1c965a0b69f0ab72af8c1031","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"unknown","hosted":null,"downloadAuthorized":true,"downloadable":null,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model-00001-of-00004.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-06T01:40:40.367Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4902257696,"readinessCheckedAt":"2026-11-03T10:18:49.620Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":null,"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4902257696,"readinessCheckedAt":"2026-11-03T10:18:49.620Z","readinessSource":"file-check","degraded":false,"stale":false,"obtainReady":null,"hosted":null,"runReady":null},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"weight","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"goedelformalizerv28b||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","recommendedFilePath":"model-00001-of-00004.safetensors","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":true,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"signed","freshness":"current","checked_at":"2026-11-03T10:18:49.620Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"model-00002-of-00004.safetensors","format":"safetensors","risk":"low","sizeBytes":4915960368,"storageSizeBytes":4915960368,"sha256":"c47a4d4d82f82e2dfb2364f6faabb8bd96220874a779a6152cd5f184695e1361","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"unknown","hosted":null,"downloadAuthorized":true,"downloadable":null,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model-00002-of-00004.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-06T01:40:40.367Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4915960368,"readinessCheckedAt":"2026-11-03T10:18:49.620Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":null,"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4915960368,"readinessCheckedAt":"2026-11-03T10:18:49.620Z","readinessSource":"file-check","degraded":false,"stale":false,"obtainReady":null,"hosted":null,"runReady":null},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"weight","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"goedelformalizerv28b||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","recommendedFilePath":"model-00001-of-00004.safetensors","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"signed","freshness":"current","checked_at":"2026-11-03T10:18:49.620Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"model-00003-of-00004.safetensors","format":"safetensors","risk":"low","sizeBytes":4983068496,"storageSizeBytes":4983068496,"sha256":"b57b17f0bafd3273d33a0e8d40139def218b27416e7bfc2e2fcd80d03d06405a","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"unknown","hosted":null,"downloadAuthorized":true,"downloadable":null,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model-00003-of-00004.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-06T01:40:40.367Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4983068496,"readinessCheckedAt":"2026-11-03T10:18:49.620Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":null,"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4983068496,"readinessCheckedAt":"2026-11-03T10:18:49.620Z","readinessSource":"file-check","degraded":false,"stale":false,"obtainReady":null,"hosted":null,"runReady":null},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"weight","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"goedelformalizerv28b||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","recommendedFilePath":"model-00001-of-00004.safetensors","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"signed","freshness":"current","checked_at":"2026-11-03T10:18:49.620Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"model-00004-of-00004.safetensors","format":"safetensors","risk":"low","sizeBytes":1580230264,"storageSizeBytes":1580230264,"sha256":"f1b2d9540cc59678f521dc29494fa98c0dfd0c80427915747511c4fafbfeb8c5","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"unknown","hosted":null,"downloadAuthorized":true,"downloadable":null,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model-00004-of-00004.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-06T01:40:40.367Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":1580230264,"readinessCheckedAt":"2026-11-03T10:18:49.620Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":null,"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":1580230264,"readinessCheckedAt":"2026-11-03T10:18:49.620Z","readinessSource":"file-check","degraded":false,"stale":false,"obtainReady":null,"hosted":null,"runReady":null},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"weight","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"goedelformalizerv28b||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","recommendedFilePath":"model-00001-of-00004.safetensors","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"signed","freshness":"current","checked_at":"2026-11-03T10:18:49.620Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"model.safetensors.index.json","format":"json","risk":"low","sizeBytes":32878,"storageSizeBytes":32878,"sha256":"3649bb967710edc0f995e3839a363a069482a1688216f87745248966751d0221","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"unknown","hosted":null,"downloadAuthorized":true,"downloadable":null,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model.safetensors.index.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-06T01:40:40.367Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":32878,"readinessCheckedAt":"2026-11-03T10:18:49.620Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":null,"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":32878,"readinessCheckedAt":"2026-11-03T10:18:49.620Z","readinessSource":"file-check","degraded":false,"stale":false,"obtainReady":null,"hosted":null,"runReady":null},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"goedelformalizerv28b||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"signed","freshness":"current","checked_at":"2026-11-03T10:18:49.620Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"special_tokens_map.json","format":"json","risk":"low","sizeBytes":613,"storageSizeBytes":613,"sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"unknown","hosted":null,"downloadAuthorized":true,"downloadable":null,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/special_tokens_map.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-06T01:40:40.367Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-11-03T10:18:49.620Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":null,"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-11-03T10:18:49.620Z","readinessSource":"file-check","degraded":false,"stale":false,"obtainReady":null,"hosted":null,"runReady":null},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"goedelformalizerv28b||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"signed","freshness":"current","checked_at":"2026-11-03T10:18:49.620Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"tokenizer.json","format":"json","risk":"low","sizeBytes":11422654,"storageSizeBytes":11422654,"sha256":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"unknown","hosted":null,"downloadAuthorized":true,"downloadable":null,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/tokenizer.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-06T01:40:40.367Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":11422654,"readinessCheckedAt":"2026-11-03T10:18:49.620Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":null,"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":11422654,"readinessCheckedAt":"2026-11-03T10:18:49.620Z","readinessSource":"file-check","degraded":false,"stale":false,"obtainReady":null,"hosted":null,"runReady":null},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"goedelformalizerv28b||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"signed","freshness":"current","checked_at":"2026-11-03T10:18:49.620Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"tokenizer_config.json","format":"json","risk":"low","sizeBytes":9789,"storageSizeBytes":9789,"sha256":"5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"unknown","hosted":null,"downloadAuthorized":true,"downloadable":null,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/tokenizer_config.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-06T01:40:40.367Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":9789,"readinessCheckedAt":"2026-11-03T10:18:49.620Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":null,"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":9789,"readinessCheckedAt":"2026-11-03T10:18:49.620Z","readinessSource":"file-check","degraded":false,"stale":false,"obtainReady":null,"hosted":null,"runReady":null},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"goedelformalizerv28b||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"signed","freshness":"current","checked_at":"2026-11-03T10:18:49.620Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"vocab.json","format":"json","risk":"low","sizeBytes":2776833,"storageSizeBytes":2776833,"sha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"unknown","hosted":null,"downloadAuthorized":true,"downloadable":null,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/vocab.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-06T01:40:40.367Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":2776833,"readinessCheckedAt":"2026-11-03T10:18:49.620Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":null,"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-03T10:18:49.612Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":2776833,"readinessCheckedAt":"2026-11-03T10:18:49.620Z","readinessSource":"file-check","degraded":false,"stale":false,"obtainReady":null,"hosted":null,"runReady":null},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"goedelformalizerv28b||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"signed","freshness":"current","checked_at":"2026-11-03T10:18:49.620Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null}],"walkUrl":"/api/downloadable-files?cursor=0&limit=200","generatedAt":"2026-11-03T10:18:49.632Z","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."}}