{"stats":{"hostedArtifacts":1,"hostedFiles":13,"hostedBytes":8060908656,"mirroredHfFiles":0,"mirroredModelScopeFiles":0,"publisherUploadedFiles":0,"seededDemoFiles":0,"estimated":true,"scope":"returned-serve-eligible-rows","catalogTotals":{"readyFiles":101114,"readyPrograms":19353,"asOf":"2026-10-31T23:13:41.188Z","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-lm-provers-qed-nano","visibility":"public","owner":"lm-provers","name":"QED-Nano","repo":"lm-provers/QED-Nano","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","en","dataset:lm-provers/fineproofs-rl","arxiv:2602.03773","base_model:lm-provers/qed-nano-sft","base_model:finetune:lm-provers/qed-nano-sft","license:apache-2.0","eval-results","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm","lm-provers/fineproofs-rl"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: lm-provers/QED-Nano · transformers","baseModel":null,"downloadCount":153,"filePath":"README.md","format":"md","risk":"low","sizeBytes":5744,"storageSizeBytes":5744,"sha256":"11d387e5015a57f3ed7e6174c2e7d77c5ffce7015120e0f1f64a536875edd98d","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-lm-provers-qed-nano/README.md","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-lm-provers-qed-nano","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-02T23:57:48.735Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":5744,"readinessCheckedAt":"2026-11-01T02:04:25.803Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":5744,"readinessCheckedAt":"2026-11-01T02:04:25.803Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"qednano||md","size":1,"rank":1,"recommendedArtifactId":"hf-model-lm-provers-qed-nano","recommendedFilePath":"README.md","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":true,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T02:04:25.803Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"signed"},{"artifactId":"hf-model-lm-provers-qed-nano","visibility":"public","owner":"lm-provers","name":"QED-Nano","repo":"lm-provers/QED-Nano","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","en","dataset:lm-provers/fineproofs-rl","arxiv:2602.03773","base_model:lm-provers/qed-nano-sft","base_model:finetune:lm-provers/qed-nano-sft","license:apache-2.0","eval-results","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm","lm-provers/fineproofs-rl"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: lm-provers/QED-Nano · transformers","baseModel":null,"downloadCount":153,"filePath":"added_tokens.json","format":"json","risk":"low","sizeBytes":707,"storageSizeBytes":707,"sha256":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-lm-provers-qed-nano/added_tokens.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-lm-provers-qed-nano","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-02T23:57:48.735Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":707,"readinessCheckedAt":"2026-11-01T02:04:25.804Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":707,"readinessCheckedAt":"2026-11-01T02:04:25.804Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"qednano||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-lm-provers-qed-nano","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":true,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T02:04:25.804Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"signed"},{"artifactId":"hf-model-lm-provers-qed-nano","visibility":"public","owner":"lm-provers","name":"QED-Nano","repo":"lm-provers/QED-Nano","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","en","dataset:lm-provers/fineproofs-rl","arxiv:2602.03773","base_model:lm-provers/qed-nano-sft","base_model:finetune:lm-provers/qed-nano-sft","license:apache-2.0","eval-results","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm","lm-provers/fineproofs-rl"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: lm-provers/QED-Nano · transformers","baseModel":null,"downloadCount":153,"filePath":"chat_template.jinja","format":"jinja","risk":"low","sizeBytes":4049,"storageSizeBytes":4049,"sha256":"3802169b2a02b81e6adb7ab4f64f91ff02db753c8c3a64a01c35192d3a61d8d7","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-lm-provers-qed-nano/chat_template.jinja","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-lm-provers-qed-nano","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-02T23:57:48.735Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4049,"readinessCheckedAt":"2026-11-01T02:04:25.804Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4049,"readinessCheckedAt":"2026-11-01T02:04:25.804Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"qednano||jinja","size":1,"rank":1,"recommendedArtifactId":"hf-model-lm-provers-qed-nano","recommendedFilePath":"chat_template.jinja","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":true,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T02:04:25.804Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"signed"},{"artifactId":"hf-model-lm-provers-qed-nano","visibility":"public","owner":"lm-provers","name":"QED-Nano","repo":"lm-provers/QED-Nano","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","en","dataset:lm-provers/fineproofs-rl","arxiv:2602.03773","base_model:lm-provers/qed-nano-sft","base_model:finetune:lm-provers/qed-nano-sft","license:apache-2.0","eval-results","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm","lm-provers/fineproofs-rl"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: lm-provers/QED-Nano · transformers","baseModel":null,"downloadCount":153,"filePath":"config.json","format":"json","risk":"low","sizeBytes":1567,"storageSizeBytes":1567,"sha256":"43d8321a1608d4b8b3a241486d6aab39714f3c0ff54285fb86f101c14284956b","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-lm-provers-qed-nano/config.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-lm-provers-qed-nano","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-02T23:57:48.735Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1567,"readinessCheckedAt":"2026-11-01T02:04:25.804Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1567,"readinessCheckedAt":"2026-11-01T02:04:25.804Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"qednano||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-lm-provers-qed-nano","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T02:04:25.804Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"signed"},{"artifactId":"hf-model-lm-provers-qed-nano","visibility":"public","owner":"lm-provers","name":"QED-Nano","repo":"lm-provers/QED-Nano","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","en","dataset:lm-provers/fineproofs-rl","arxiv:2602.03773","base_model:lm-provers/qed-nano-sft","base_model:finetune:lm-provers/qed-nano-sft","license:apache-2.0","eval-results","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm","lm-provers/fineproofs-rl"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: lm-provers/QED-Nano · transformers","baseModel":null,"downloadCount":153,"filePath":"generation_config.json","format":"json","risk":"low","sizeBytes":188,"storageSizeBytes":188,"sha256":"3aa06a70d54b5d69e770d6b78a1fadb3d9f3429938e10aa5621199edae7e06a2","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-lm-provers-qed-nano/generation_config.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-lm-provers-qed-nano","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-02T23:57:48.735Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":188,"readinessCheckedAt":"2026-11-01T02:04:25.804Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":188,"readinessCheckedAt":"2026-11-01T02:04:25.804Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"qednano||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-lm-provers-qed-nano","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T02:04:25.804Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"signed"},{"artifactId":"hf-model-lm-provers-qed-nano","visibility":"public","owner":"lm-provers","name":"QED-Nano","repo":"lm-provers/QED-Nano","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","en","dataset:lm-provers/fineproofs-rl","arxiv:2602.03773","base_model:lm-provers/qed-nano-sft","base_model:finetune:lm-provers/qed-nano-sft","license:apache-2.0","eval-results","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm","lm-provers/fineproofs-rl"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: lm-provers/QED-Nano · transformers","baseModel":null,"downloadCount":153,"filePath":"merges.txt","format":"txt","risk":"low","sizeBytes":1671853,"storageSizeBytes":1671853,"sha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-lm-provers-qed-nano/merges.txt","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-lm-provers-qed-nano","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-02T23:57:48.735Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1671853,"readinessCheckedAt":"2026-11-01T02:04:25.804Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1671853,"readinessCheckedAt":"2026-11-01T02:04:25.804Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"qednano||txt","size":1,"rank":1,"recommendedArtifactId":"hf-model-lm-provers-qed-nano","recommendedFilePath":"merges.txt","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":true,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T02:04:25.804Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"signed"},{"artifactId":"hf-model-lm-provers-qed-nano","visibility":"public","owner":"lm-provers","name":"QED-Nano","repo":"lm-provers/QED-Nano","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","en","dataset:lm-provers/fineproofs-rl","arxiv:2602.03773","base_model:lm-provers/qed-nano-sft","base_model:finetune:lm-provers/qed-nano-sft","license:apache-2.0","eval-results","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm","lm-provers/fineproofs-rl"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: lm-provers/QED-Nano · transformers","baseModel":null,"downloadCount":153,"filePath":"model-00001-of-00002.safetensors","format":"safetensors","risk":"low","sizeBytes":4967215360,"storageSizeBytes":4967215360,"sha256":"73e9a3f70a8b8b1dde8f104f224683494afe7a74191aad061ee55311695685ba","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-lm-provers-qed-nano/model-00001-of-00002.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-lm-provers-qed-nano","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-02T23:57:48.735Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4967215360,"readinessCheckedAt":"2026-11-01T02:04:25.804Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4967215360,"readinessCheckedAt":"2026-11-01T02:04:25.804Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"weight","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"qednano||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-lm-provers-qed-nano","recommendedFilePath":"model-00001-of-00002.safetensors","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":true,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T02:04:25.804Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"signed"},{"artifactId":"hf-model-lm-provers-qed-nano","visibility":"public","owner":"lm-provers","name":"QED-Nano","repo":"lm-provers/QED-Nano","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","en","dataset:lm-provers/fineproofs-rl","arxiv:2602.03773","base_model:lm-provers/qed-nano-sft","base_model:finetune:lm-provers/qed-nano-sft","license:apache-2.0","eval-results","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm","lm-provers/fineproofs-rl"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: lm-provers/QED-Nano · transformers","baseModel":null,"downloadCount":153,"filePath":"model-00002-of-00002.safetensors","format":"safetensors","risk":"low","sizeBytes":3077766632,"storageSizeBytes":3077766632,"sha256":"6550bec7cc4db2ef00bbd9558c6daa6f4403562802aa8db2818b93d376caef2a","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-lm-provers-qed-nano/model-00002-of-00002.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-lm-provers-qed-nano","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-02T23:57:48.735Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":3077766632,"readinessCheckedAt":"2026-11-01T02:04:25.804Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":3077766632,"readinessCheckedAt":"2026-11-01T02:04:25.804Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"weight","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"qednano||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-lm-provers-qed-nano","recommendedFilePath":"model-00001-of-00002.safetensors","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T02:04:25.804Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"signed"},{"artifactId":"hf-model-lm-provers-qed-nano","visibility":"public","owner":"lm-provers","name":"QED-Nano","repo":"lm-provers/QED-Nano","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","en","dataset:lm-provers/fineproofs-rl","arxiv:2602.03773","base_model:lm-provers/qed-nano-sft","base_model:finetune:lm-provers/qed-nano-sft","license:apache-2.0","eval-results","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm","lm-provers/fineproofs-rl"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: lm-provers/QED-Nano · transformers","baseModel":null,"downloadCount":153,"filePath":"model.safetensors.index.json","format":"json","risk":"low","sizeBytes":32819,"storageSizeBytes":32819,"sha256":"e36bba5af4706cfd22ecf7eedb5fd8f4d2559b92f2414b932651b9ed6495921a","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-lm-provers-qed-nano/model.safetensors.index.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-lm-provers-qed-nano","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-02T23:57:48.735Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":32819,"readinessCheckedAt":"2026-11-01T02:04:25.804Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":32819,"readinessCheckedAt":"2026-11-01T02:04:25.804Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"qednano||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-lm-provers-qed-nano","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T02:04:25.804Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"signed"},{"artifactId":"hf-model-lm-provers-qed-nano","visibility":"public","owner":"lm-provers","name":"QED-Nano","repo":"lm-provers/QED-Nano","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","en","dataset:lm-provers/fineproofs-rl","arxiv:2602.03773","base_model:lm-provers/qed-nano-sft","base_model:finetune:lm-provers/qed-nano-sft","license:apache-2.0","eval-results","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm","lm-provers/fineproofs-rl"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: lm-provers/QED-Nano · transformers","baseModel":null,"downloadCount":153,"filePath":"special_tokens_map.json","format":"json","risk":"low","sizeBytes":613,"storageSizeBytes":613,"sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-lm-provers-qed-nano/special_tokens_map.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-lm-provers-qed-nano","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-02T23:57:48.735Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-11-01T02:04:25.804Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-11-01T02:04:25.804Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"qednano||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-lm-provers-qed-nano","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T02:04:25.804Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"signed"},{"artifactId":"hf-model-lm-provers-qed-nano","visibility":"public","owner":"lm-provers","name":"QED-Nano","repo":"lm-provers/QED-Nano","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","en","dataset:lm-provers/fineproofs-rl","arxiv:2602.03773","base_model:lm-provers/qed-nano-sft","base_model:finetune:lm-provers/qed-nano-sft","license:apache-2.0","eval-results","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm","lm-provers/fineproofs-rl"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: lm-provers/QED-Nano · transformers","baseModel":null,"downloadCount":153,"filePath":"tokenizer.json","format":"json","risk":"low","sizeBytes":11422654,"storageSizeBytes":11422654,"sha256":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-lm-provers-qed-nano/tokenizer.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-lm-provers-qed-nano","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-02T23:57:48.735Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":11422654,"readinessCheckedAt":"2026-11-01T02:04:25.804Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":11422654,"readinessCheckedAt":"2026-11-01T02:04:25.804Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"qednano||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-lm-provers-qed-nano","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T02:04:25.804Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"signed"},{"artifactId":"hf-model-lm-provers-qed-nano","visibility":"public","owner":"lm-provers","name":"QED-Nano","repo":"lm-provers/QED-Nano","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","en","dataset:lm-provers/fineproofs-rl","arxiv:2602.03773","base_model:lm-provers/qed-nano-sft","base_model:finetune:lm-provers/qed-nano-sft","license:apache-2.0","eval-results","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm","lm-provers/fineproofs-rl"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: lm-provers/QED-Nano · transformers","baseModel":null,"downloadCount":153,"filePath":"tokenizer_config.json","format":"json","risk":"low","sizeBytes":9637,"storageSizeBytes":9637,"sha256":"da453ca2b9904f4851684e4a700e9f1cca4bbf3250ae04488c59bd1b0109d108","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-lm-provers-qed-nano/tokenizer_config.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-lm-provers-qed-nano","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-02T23:57:48.735Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":9637,"readinessCheckedAt":"2026-11-01T02:04:25.804Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":9637,"readinessCheckedAt":"2026-11-01T02:04:25.804Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"qednano||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-lm-provers-qed-nano","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T02:04:25.804Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"signed"},{"artifactId":"hf-model-lm-provers-qed-nano","visibility":"public","owner":"lm-provers","name":"QED-Nano","repo":"lm-provers/QED-Nano","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","en","dataset:lm-provers/fineproofs-rl","arxiv:2602.03773","base_model:lm-provers/qed-nano-sft","base_model:finetune:lm-provers/qed-nano-sft","license:apache-2.0","eval-results","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm","lm-provers/fineproofs-rl"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: lm-provers/QED-Nano · transformers","baseModel":null,"downloadCount":153,"filePath":"vocab.json","format":"json","risk":"low","sizeBytes":2776833,"storageSizeBytes":2776833,"sha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-lm-provers-qed-nano/vocab.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-lm-provers-qed-nano","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-02T23:57:48.735Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2776833,"readinessCheckedAt":"2026-11-01T02:04:25.804Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T02:04:25.791Z","serveEvaluationId":"serve-9f85b6139c79a52ac03a141f8285717eda1b0dee5f25677833c914ff3f4d7d81","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2776833,"readinessCheckedAt":"2026-11-01T02:04:25.804Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"qednano||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-lm-provers-qed-nano","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T02:04:25.804Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"signed"}],"walkUrl":"/api/downloadable-files?cursor=0&limit=200","generatedAt":"2026-11-01T02:04:25.815Z","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."}}