{"stats":{"hostedArtifacts":1,"hostedFiles":21,"hostedBytes":65535821526,"mirroredHfFiles":0,"mirroredModelScopeFiles":0,"publisherUploadedFiles":0,"seededDemoFiles":0,"estimated":true,"scope":"returned-serve-eligible-rows","catalogTotals":{"readyFiles":104276,"readyPrograms":19391,"asOf":"2026-11-04T04:31:13.769Z","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-prover-v2-32b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Prover-V2-32B","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","arxiv:2508.03613","base_model:qwen/qwen3-32b","base_model:finetune:qwen/qwen3-32b","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers","baseModel":null,"downloadCount":10587,"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-prover-v2-32b/added_tokens.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-21T09:05:38.201Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":707,"readinessCheckedAt":"2026-11-04T05:15:28.732Z","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-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":707,"readinessCheckedAt":"2026-11-04T05:15:28.732Z","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":"goedelproverv232b||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","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-04T05:15:28.732Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Prover-V2-32B","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","arxiv:2508.03613","base_model:qwen/qwen3-32b","base_model:finetune:qwen/qwen3-32b","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers","baseModel":null,"downloadCount":10587,"filePath":"config.json","format":"json","risk":"low","sizeBytes":730,"storageSizeBytes":730,"sha256":"2925a152b6550e67e5282c37d76a17987f7d98537cbbcf1d609cee3b63a063b6","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-prover-v2-32b/config.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-21T09:05:38.201Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":730,"readinessCheckedAt":"2026-11-04T05:15:28.732Z","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-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":730,"readinessCheckedAt":"2026-11-04T05:15:28.732Z","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":"goedelproverv232b||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","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-04T05:15:28.732Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Prover-V2-32B","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","arxiv:2508.03613","base_model:qwen/qwen3-32b","base_model:finetune:qwen/qwen3-32b","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers","baseModel":null,"downloadCount":10587,"filePath":"generation_config.json","format":"json","risk":"low","sizeBytes":143,"storageSizeBytes":143,"sha256":"f37ab3e1060168ba66e953535c0ffeabd01408c2d171bc83a9e388683513bcb5","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-prover-v2-32b/generation_config.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-21T09:05:38.201Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":143,"readinessCheckedAt":"2026-11-04T05:15:28.732Z","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-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":143,"readinessCheckedAt":"2026-11-04T05:15:28.732Z","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":"goedelproverv232b||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","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-04T05:15:28.732Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Prover-V2-32B","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","arxiv:2508.03613","base_model:qwen/qwen3-32b","base_model:finetune:qwen/qwen3-32b","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers","baseModel":null,"downloadCount":10587,"filePath":"model-00001-of-00014.safetensors","format":"safetensors","risk":"low","sizeBytes":4932307584,"storageSizeBytes":4932307584,"sha256":"152d72688b31b1adc36aca768f5cf1dd5e9514586d1c618dd306622e84c6c6f0","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-prover-v2-32b/model-00001-of-00014.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-21T09:05:38.201Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4932307584,"readinessCheckedAt":"2026-11-04T05:15:28.732Z","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-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4932307584,"readinessCheckedAt":"2026-11-04T05:15:28.732Z","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":"goedelproverv232b||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","recommendedFilePath":"model-00001-of-00014.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-04T05:15:28.732Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Prover-V2-32B","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","arxiv:2508.03613","base_model:qwen/qwen3-32b","base_model:finetune:qwen/qwen3-32b","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers","baseModel":null,"downloadCount":10587,"filePath":"model-00002-of-00014.safetensors","format":"safetensors","risk":"low","sizeBytes":4875989696,"storageSizeBytes":4875989696,"sha256":"ec435641fd3bd63944832d0897fa66be2c1158332acdcf41f4ce3824c0530626","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-prover-v2-32b/model-00002-of-00014.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-21T09:05:38.201Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4875989696,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4875989696,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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":"goedelproverv232b||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","recommendedFilePath":"model-00001-of-00014.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-04T05:15:28.733Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Prover-V2-32B","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","arxiv:2508.03613","base_model:qwen/qwen3-32b","base_model:finetune:qwen/qwen3-32b","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers","baseModel":null,"downloadCount":10587,"filePath":"model-00003-of-00014.safetensors","format":"safetensors","risk":"low","sizeBytes":4875989720,"storageSizeBytes":4875989720,"sha256":"b50b6662d302d10664f1e4c5806a0710b058cbf521ae72a636e3149fbe35fc63","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-prover-v2-32b/model-00003-of-00014.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-21T09:05:38.201Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4875989720,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4875989720,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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":"goedelproverv232b||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","recommendedFilePath":"model-00001-of-00014.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-04T05:15:28.733Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Prover-V2-32B","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","arxiv:2508.03613","base_model:qwen/qwen3-32b","base_model:finetune:qwen/qwen3-32b","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers","baseModel":null,"downloadCount":10587,"filePath":"model-00004-of-00014.safetensors","format":"safetensors","risk":"low","sizeBytes":4875989752,"storageSizeBytes":4875989752,"sha256":"3e67d5e960d5fd4327cde3c0d8bf8473903133bfebd111d4a39d8b2c98348d00","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-prover-v2-32b/model-00004-of-00014.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-21T09:05:38.201Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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":"goedelproverv232b||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","recommendedFilePath":"model-00001-of-00014.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-04T05:15:28.733Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Prover-V2-32B","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","arxiv:2508.03613","base_model:qwen/qwen3-32b","base_model:finetune:qwen/qwen3-32b","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers","baseModel":null,"downloadCount":10587,"filePath":"model-00005-of-00014.safetensors","format":"safetensors","risk":"low","sizeBytes":4875989752,"storageSizeBytes":4875989752,"sha256":"12f1c18134b3b9780c3c0944cce4e85d508e29cdd615586b14b1e2e7e49859d3","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-prover-v2-32b/model-00005-of-00014.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-21T09:05:38.201Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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":"goedelproverv232b||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","recommendedFilePath":"model-00001-of-00014.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-04T05:15:28.733Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Prover-V2-32B","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","arxiv:2508.03613","base_model:qwen/qwen3-32b","base_model:finetune:qwen/qwen3-32b","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers","baseModel":null,"downloadCount":10587,"filePath":"model-00006-of-00014.safetensors","format":"safetensors","risk":"low","sizeBytes":4875989752,"storageSizeBytes":4875989752,"sha256":"fd056bb091271b8436930db34dfc90b63838e77d7984aaa844c48bc9cf94e8f5","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-prover-v2-32b/model-00006-of-00014.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-21T09:05:38.201Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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":"goedelproverv232b||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","recommendedFilePath":"model-00001-of-00014.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-04T05:15:28.733Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Prover-V2-32B","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","arxiv:2508.03613","base_model:qwen/qwen3-32b","base_model:finetune:qwen/qwen3-32b","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers","baseModel":null,"downloadCount":10587,"filePath":"model-00007-of-00014.safetensors","format":"safetensors","risk":"low","sizeBytes":4875989752,"storageSizeBytes":4875989752,"sha256":"66a9b925f82a396dd0b8a5fd239e3f3bf31b6d1c124d29d24feb3f05e41dba41","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-prover-v2-32b/model-00007-of-00014.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-21T09:05:38.201Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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":"goedelproverv232b||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","recommendedFilePath":"model-00001-of-00014.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-04T05:15:28.733Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Prover-V2-32B","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","arxiv:2508.03613","base_model:qwen/qwen3-32b","base_model:finetune:qwen/qwen3-32b","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers","baseModel":null,"downloadCount":10587,"filePath":"model-00008-of-00014.safetensors","format":"safetensors","risk":"low","sizeBytes":4875989752,"storageSizeBytes":4875989752,"sha256":"16cec003e66ac61770ce2abe6606327b1dedf81e2782d0da27892e9c5f3a6543","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-prover-v2-32b/model-00008-of-00014.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-21T09:05:38.201Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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":"goedelproverv232b||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","recommendedFilePath":"model-00001-of-00014.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-04T05:15:28.733Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Prover-V2-32B","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","arxiv:2508.03613","base_model:qwen/qwen3-32b","base_model:finetune:qwen/qwen3-32b","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers","baseModel":null,"downloadCount":10587,"filePath":"model-00009-of-00014.safetensors","format":"safetensors","risk":"low","sizeBytes":4875989752,"storageSizeBytes":4875989752,"sha256":"9a557b7c658c41112c5a5ea02777afbc59c31f116cbc638fd914e01d75ee2e0b","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-prover-v2-32b/model-00009-of-00014.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-21T09:05:38.201Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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":"goedelproverv232b||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","recommendedFilePath":"model-00001-of-00014.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-04T05:15:28.733Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Prover-V2-32B","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","arxiv:2508.03613","base_model:qwen/qwen3-32b","base_model:finetune:qwen/qwen3-32b","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers","baseModel":null,"downloadCount":10587,"filePath":"model-00010-of-00014.safetensors","format":"safetensors","risk":"low","sizeBytes":4875989752,"storageSizeBytes":4875989752,"sha256":"306ee6207677fdb93eb2c04b45409e9a9c24758eac08f148062f1b1e4a5e3e06","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-prover-v2-32b/model-00010-of-00014.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-21T09:05:38.201Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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":"goedelproverv232b||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","recommendedFilePath":"model-00001-of-00014.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-04T05:15:28.733Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Prover-V2-32B","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","arxiv:2508.03613","base_model:qwen/qwen3-32b","base_model:finetune:qwen/qwen3-32b","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers","baseModel":null,"downloadCount":10587,"filePath":"model-00011-of-00014.safetensors","format":"safetensors","risk":"low","sizeBytes":4875989752,"storageSizeBytes":4875989752,"sha256":"32bc24d3d996e1656343ef1f27ffac1e9e687906bf6bd65bf8c7ba43c9cb1a74","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-prover-v2-32b/model-00011-of-00014.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-21T09:05:38.201Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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":"goedelproverv232b||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","recommendedFilePath":"model-00001-of-00014.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-04T05:15:28.733Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Prover-V2-32B","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","arxiv:2508.03613","base_model:qwen/qwen3-32b","base_model:finetune:qwen/qwen3-32b","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers","baseModel":null,"downloadCount":10587,"filePath":"model-00012-of-00014.safetensors","format":"safetensors","risk":"low","sizeBytes":4875989752,"storageSizeBytes":4875989752,"sha256":"06c5276ddf4ec59f423d3f94200ff2eff1d16995adb5369ec3080546ebf3db00","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-prover-v2-32b/model-00012-of-00014.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-21T09:05:38.201Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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":"goedelproverv232b||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","recommendedFilePath":"model-00001-of-00014.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-04T05:15:28.733Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Prover-V2-32B","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","arxiv:2508.03613","base_model:qwen/qwen3-32b","base_model:finetune:qwen/qwen3-32b","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers","baseModel":null,"downloadCount":10587,"filePath":"model-00013-of-00014.safetensors","format":"safetensors","risk":"low","sizeBytes":4875989752,"storageSizeBytes":4875989752,"sha256":"a23863742017ca3d49cda1d40a50c9ce1f40ecf2405e67583cb089a17704bfe3","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-prover-v2-32b/model-00013-of-00014.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-21T09:05:38.201Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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":"goedelproverv232b||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","recommendedFilePath":"model-00001-of-00014.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-04T05:15:28.733Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Prover-V2-32B","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","arxiv:2508.03613","base_model:qwen/qwen3-32b","base_model:finetune:qwen/qwen3-32b","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers","baseModel":null,"downloadCount":10587,"filePath":"model-00014-of-00014.safetensors","format":"safetensors","risk":"low","sizeBytes":2080144040,"storageSizeBytes":2080144040,"sha256":"79a3e28f4178d94c0a39bebe47fc14b030807e97fed674757c0cef219830e4fa","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-prover-v2-32b/model-00014-of-00014.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-21T09:05:38.201Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":2080144040,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":2080144040,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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":"goedelproverv232b||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","recommendedFilePath":"model-00001-of-00014.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-04T05:15:28.733Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Prover-V2-32B","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","arxiv:2508.03613","base_model:qwen/qwen3-32b","base_model:finetune:qwen/qwen3-32b","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers","baseModel":null,"downloadCount":10587,"filePath":"model.safetensors.index.json","format":"json","risk":"low","sizeBytes":58330,"storageSizeBytes":58330,"sha256":"83ee23eb9f4aeb5ab666b98588ad2ad9135c906b466d0b3349d663aa09f497c2","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-prover-v2-32b/model.safetensors.index.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-21T09:05:38.201Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":58330,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":58330,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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":"goedelproverv232b||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","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-04T05:15:28.733Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Prover-V2-32B","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","arxiv:2508.03613","base_model:qwen/qwen3-32b","base_model:finetune:qwen/qwen3-32b","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers","baseModel":null,"downloadCount":10587,"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-prover-v2-32b/special_tokens_map.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-21T09:05:38.201Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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":"goedelproverv232b||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","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-04T05:15:28.733Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Prover-V2-32B","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","arxiv:2508.03613","base_model:qwen/qwen3-32b","base_model:finetune:qwen/qwen3-32b","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers","baseModel":null,"downloadCount":10587,"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-prover-v2-32b/tokenizer.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-21T09:05:38.201Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":11422654,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":11422654,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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":"goedelproverv232b||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","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-04T05:15:28.733Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null},{"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Prover-V2-32B","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","arxiv:2508.03613","base_model:qwen/qwen3-32b","base_model:finetune:qwen/qwen3-32b","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers","baseModel":null,"downloadCount":10587,"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-prover-v2-32b/tokenizer_config.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-21T09:05:38.201Z","tools":[],"peerFallbacks":[],"downloadStatus":"UNKNOWN","reasonCodes":["inventory-incomplete"],"reason":"The file list is incomplete; model weight availability is unknown.","serveEvaluatedAt":"2026-11-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":9789,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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-04T05:15:28.722Z","readiness":"unknown","downloadReady":null,"hostedFileCount":1,"mirroredBytes":9789,"readinessCheckedAt":"2026-11-04T05:15:28.733Z","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":"goedelproverv232b||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","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-04T05:15:28.733Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed","obtainReady":null,"runReady":null,"recommendedFile":null}],"walkUrl":"/api/downloadable-files?cursor=0&limit=200","generatedAt":"2026-11-04T05:15:28.748Z","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."}}