{"schemaVersion":"hugging-bay.artifact-distribution.v1","downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":13,"mirroredBytes":8060908656,"readinessCheckedAt":"2026-10-28T08:18:07.350Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":13,"mirroredBytes":8060908656,"readinessCheckedAt":"2026-10-28T08:18:07.216Z","readinessSource":"file-check","degraded":false,"stale":false},"generatedAt":"2026-10-28T08:18:07.355Z","baseUrl":"https://huggingbay.xyz","artifact":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":13,"mirroredBytes":8060908656,"readinessCheckedAt":"2026-10-28T08:18:07.350Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":13,"mirroredBytes":8060908656,"readinessCheckedAt":"2026-10-28T08:18:07.216Z","readinessSource":"file-check","degraded":false,"stale":false},"id":"hf-model-lm-provers-qed-nano","owner":"lm-provers","name":"QED-Nano","repo":"lm-provers/QED-Nano","type":"llm","summary":"Model from Hugging Face for text generation: lm-provers/QED-Nano · transformers","cardDescription":"A chat model for conversations, questions and writing.","modelSummary":{"schemaVersion":"hugging-bay.model-summary.v1","text":"The catalog lists this model for having conversations.","confidence":"medium","task":"chat","audience":null,"basis":"recorded-metadata","rules":["task:chat","tag:chat"],"evidence":[{"field":"license","value":"apache-2.0"},{"field":"cardMetadata.license","value":"apache-2.0"},{"field":"tags","value":"conversational"},{"field":"task","value":"text-generation"},{"field":"cardMetadata.pipelineTag","value":"text-generation"}],"caveats":["check-license-terms","repository-bytes-are-not-memory-needs"],"facts":{"license":{"id":"apache-2.0","status":"recorded"},"lineage":[],"parameters":null,"size":{"bytes":8061868927,"scope":"repository","field":"sizeBytes"},"form":"unspecified","runs":[]}},"publisher":"lm-provers","sourceUrl":"https://huggingface.co/lm-provers/QED-Nano","license":"apache-2.0","licenseState":"known","licenseLabel":"apache-2.0","visibility":"public","verificationStatus":"unknown","scanStatus":"passed","cardCompleteness":96,"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"],"task":"text-generation","modality":"text","framework":"transformers","formats":["yaml","gitattributes","md","json","jinja","png","txt","safetensors"],"baseModel":null,"derivedFrom":null,"cardMetadata":{"source":"huggingface-cardData","license":"apache-2.0","metrics":[],"datasets":["lm-provers/FineProofs-RL"],"paperIds":["2602.03773"],"repoType":"model","baseModel":"","languages":["en"],"sourceUrl":"https://huggingface.co/lm-provers/QED-Nano","evalResults":[],"libraryName":"transformers","pipelineTag":"text-generation","cardDataKeys":["base_model","datasets","language","library_name","license"],"semanticText":"text-generation transformers llm model en lm-provers/fineproofs-rl safetensors","semanticTerms":["text-generation","transformers","llm","model","en","lm-provers/fineproofs-rl","safetensors"],"siblingSample":[{"lfs":false,"path":".eval_results/MathArena--aime_2026.yaml","sizeBytes":209},{"lfs":false,"path":".eval_results/MathArena--hmmt_feb_2026.yaml","sizeBytes":222},{"lfs":false,"path":".gitattributes","sizeBytes":1773},{"lfs":false,"path":"README.md","sizeBytes":5744},{"lfs":false,"path":"added_tokens.json","sizeBytes":707},{"lfs":false,"path":"chat_template.jinja","sizeBytes":4049},{"lfs":false,"path":"config.json","sizeBytes":1567},{"lfs":true,"path":"evals.png","sizeBytes":155380},{"lfs":false,"path":"generation_config.json","sizeBytes":188},{"lfs":true,"path":"imoproofbench.png","sizeBytes":109511},{"lfs":true,"path":"logo.png","sizeBytes":260424},{"lfs":false,"path":"merges.txt","sizeBytes":1671853},{"lfs":true,"path":"model-00001-of-00002.safetensors","sizeBytes":4967215360},{"lfs":true,"path":"model-00002-of-00002.safetensors","sizeBytes":3077766632},{"lfs":true,"path":"model.safetensors.bak","sizeBytes":432752},{"lfs":false,"path":"model.safetensors.index.json","sizeBytes":32819},{"lfs":false,"path":"special_tokens_map.json","sizeBytes":613},{"lfs":true,"path":"tokenizer.json","sizeBytes":11422654},{"lfs":false,"path":"tokenizer_config.json","sizeBytes":9637},{"lfs":false,"path":"vocab.json","sizeBytes":2776833}],"modelIndexNames":[]},"worksWith":[],"runtimeFit":{"level":"unknown","label":"recorded runtime state unknown","hardware":"","sizeLabel":"unknown","runners":[],"runtimeFiles":[],"warnings":["No runtime compatibility or execution status claim is available until recorded evaluation is integrated."]},"sizeBytes":8061868927,"sizeKnown":true,"sizeLabel":"7.5 GB","sizeReason":"","declaredSizeBytes":8061868927,"defaultDownloadBytes":8044981992,"mirrorCount":1,"downloadCount":153,"stars":89,"citations":0,"updatedAt":"2026-09-02T23:57:48.735Z","createdAt":"2026-06-30T02:35:41.201Z","version":"hf-main","upstream":{"gated":false,"repoId":"lm-provers/QED-Nano","private":false,"repoUrl":"https://huggingface.co/lm-provers/QED-Nano","disabled":false,"provider":"huggingface","repoType":"model","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","fetchedAt":"2026-09-02T23:41:52.075Z","importMode":"external-catalog","licenseRaw":"apache-2.0"},"hosting":{"status":"hosted","mirroredAt":"2026-09-02T23:57:48.735Z","mirroredBy":"mirror-batch-worker","totalFiles":20,"hostedFiles":13,"mirroredBytes":8060908656,"mirroredFiles":13,"storageProvider":"gcs","hosted":true,"downloadable":true,"verified":false,"completeRunnable":false,"runReady":false,"refreshedAt":null,"stale":false,"downloadReady":true,"serveAuthority":"live-serve-decision","bytesOnStorage":true},"mirrorCompletion":{"found":true,"current":true,"state":"complete-bytes","completeBytes":true,"completeRunnable":false,"verified":false,"runReady":false,"commandsAvailable":false,"authority":"postgres-executable-state-snapshot","snapshotId":"hbes_e0cfb1732145b9496a5c1309272306d3a54d9773303a3c05f4fcde87488e46a1","artifactId":"hf-model-lm-provers-qed-nano","representationId":"rep-b7b2fbf7ac5f0e925261d75c5500bdab7be9b30721694bce22402faed787f5fb","taskMode":{"mode":"unknown"},"selectedFileBindingVersion":"postgres-selected-object-binding.v2","representation":{"id":"rep-b7b2fbf7ac5f0e925261d75c5500bdab7be9b30721694bce22402faed787f5fb","artifactId":"hf-model-lm-provers-qed-nano","format":"safetensors","source":{"provider":"huggingface","identity":"lm-provers/QED-Nano","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","immutable":true},"files":[{"path":"README.md","role":"support","sizeBytes":5744,"sha256":"sha256:11d387e5015a57f3ed7e6174c2e7d77c5ffce7015120e0f1f64a536875edd98d","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:f85fa72d1dceb01926db7aef3387be3dd24074a9357a434b73caf45bbb2de4be"},{"path":"added_tokens.json","role":"support","sizeBytes":707,"sha256":"sha256:c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:683db5119de5f337b1440a0c31107677b52b5813084db2d8f1b4f436b10e55ad"},{"path":"chat_template.jinja","role":"template","sizeBytes":4049,"sha256":"sha256:3802169b2a02b81e6adb7ab4f64f91ff02db753c8c3a64a01c35192d3a61d8d7","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:fc71d1f8d7ba2c9ef9037e34dbfc44cb3dc008e93396d30de1982cb7e08b2e18"},{"path":"config.json","role":"config","sizeBytes":1567,"sha256":"sha256:43d8321a1608d4b8b3a241486d6aab39714f3c0ff54285fb86f101c14284956b","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:8ac5c0b17505e501c41f223085e443edb366e5cd9ce0c52d81bdce323a4a2b1c"},{"path":"generation_config.json","role":"config","sizeBytes":188,"sha256":"sha256:3aa06a70d54b5d69e770d6b78a1fadb3d9f3429938e10aa5621199edae7e06a2","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:52d160f546354d2201aa3b30f9ea3b87cc605b20652b37ff5869c7d3c7f7eb75"},{"path":"merges.txt","role":"tokenizer","sizeBytes":1671853,"sha256":"sha256:8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:e72bd970959b48a3dde8941c3ef885e6c8baa0dd3a1a5fddcf4eb8941d4f0d93"},{"path":"model-00001-of-00002.safetensors","role":"weight","sizeBytes":4967215360,"sha256":"sha256:73e9a3f70a8b8b1dde8f104f224683494afe7a74191aad061ee55311695685ba","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:b04bb3d6adabe170fa0bfd6ae83b9e808fbee3fc9e736b0c988aefe494a63d8a"},{"path":"model-00002-of-00002.safetensors","role":"weight","sizeBytes":3077766632,"sha256":"sha256:6550bec7cc4db2ef00bbd9558c6daa6f4403562802aa8db2818b93d376caef2a","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:aec3ca73aed8930e79c7dadfc0535ff8c768705b3310818d5677b08e27f6d57f"},{"path":"model.safetensors.index.json","role":"index","sizeBytes":32819,"sha256":"sha256:e36bba5af4706cfd22ecf7eedb5fd8f4d2559b92f2414b932651b9ed6495921a","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:0126114bcb631e4a50903fb584bf0e32c8861444a82de16e5aac2dbd53be727c"},{"path":"special_tokens_map.json","role":"tokenizer","sizeBytes":613,"sha256":"sha256:76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:eaca17cab232e371dee2e18f43f5c852a82551c1d10293e19c843b90c6e43dcf"},{"path":"tokenizer.json","role":"tokenizer","sizeBytes":11422654,"sha256":"sha256:aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:4f1dfcdc51cd85b1241b91770b3a2d231f0c6c730bc592782de1896439e642ee"},{"path":"tokenizer_config.json","role":"config","sizeBytes":9637,"sha256":"sha256:da453ca2b9904f4851684e4a700e9f1cca4bbf3250ae04488c59bd1b0109d108","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:abf27da6c50834080ea87c5f927355f569c26a12e79895578f5fd2748fb4d9f7"},{"path":"vocab.json","role":"tokenizer","sizeBytes":2776833,"sha256":"sha256:ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:9d259484df4c7a65c3a19a2c872ab0d7e691ac6dd3bc2b7dd1614c9dd95a5612"}]},"evaluatorVersion":"1.3.1","selectedFilesDigest":"sha256:1fbe6df0c75a23b608c9bfcb8df90bf8a0f4bf3da2f1b9def4d743cb365c58a2","representationDigest":"sha256:d328817b9b43abc492f718698e4678caf4731c85855f0af70bca830d0cbfb555","evidenceSnapshotDigest":"sha256:03a5ba8d193ddcba1bcbe4a4eb459fd2b5f47f225e32c26e79ecce759aa5970f","evaluatedAt":"2026-09-02T23:57:49.411Z","authorityVersion":"sha256:917086036bf066270c6e2c3eca03b1bcb251d32c8b79deb914976734b2949a75","invalidatedBy":null,"manifestFinal":true,"downloadable":false,"hosted":true,"hostedFiles":13,"serveAuthority":"live-serve-decision","individuallyHashedFiles":13,"weightsHosted":null,"weightCountState":"not-snapshot-bound","totalFiles":13,"strictlyDownloadableFiles":13,"strictlyDownloadableHashedFiles":13,"strictlyDownloadableWeights":null,"strictWeightCountState":"not-snapshot-bound","artifactInventoryFiles":20,"scope":"recorded-postgres-snapshot","serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-28T08:18:07.350Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"lastKnownAnswer":"Ready to download"},"decentralizedDistribution":{"protocol":"bittorrent-magnet-metadata","verifiedFallbacks":0,"pendingReviewRequests":0,"reviewRequired":true,"policy":"Peer-assisted fallbacks are metadata only until Hugging Bay review confirms source, license, provenance, and safety. Gated/private bypasses are not allowed."},"hostingStatus":"hosted","hosted":true,"fileCount":20,"publicDownloadableFileCount":13,"externalFileCount":20,"servingCountsRefreshedAt":null,"servingCountsStale":false,"signals":{"size":{"known":true,"bytes":8061868927,"label":"7.5 GB","reason":""},"demand":{"mirrorRequests":0,"upstreamDownloads":153,"upstreamStars":89,"label":"153 upstream downloads","basis":"upstream-downloads"},"trust":{"score":0,"level":"metadata-checked","label":"Unknown","qualification":"recorded-state-complete-bytes","trustImpact":"none","checks":[{"id":"license","label":"License","status":"pass","detail":"apache-2.0"},{"id":"provenance","label":"Provenance","status":"pass","detail":"lm-provers/QED-Nano"},{"id":"scan","label":"Scan","status":"pass","detail":"passed"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"13/20 repository files hosted; selected representation evaluated separately"},{"id":"manifest","label":"Byte manifest integrity","status":"pass","detail":"selected representation is complete-bytes; per-file SHA-256 published (cryptographic signing pending)"}],"strengths":["License: apache-2.0","Provenance: lm-provers/QED-Nano","Scan: passed","Byte manifest integrity: selected representation is complete-bytes; per-file SHA-256 published (cryptographic signing pending)"],"gaps":["Hosted files: 13/20 repository files hosted; selected representation evaluated separately"]},"readiness":{"score":0,"level":"bytes-complete","hostedFinal":true,"hostedFiles":13,"externalFiles":7,"totalFiles":20},"action":{"id":"download","label":"Download exact selected bytes","detail":"The selected immutable representation is byte-complete; runtime compatibility is not established.","href":"/api/v1/artifacts/hf-model-lm-provers-qed-nano/download-plan"}},"sampleFiles":[{"path":".eval_results/MathArena--aime_2026.yaml","sizeBytes":209,"format":"yaml","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"},{"path":".eval_results/MathArena--hmmt_feb_2026.yaml","sizeBytes":222,"format":"yaml","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"},{"path":".gitattributes","sizeBytes":1773,"format":"gitattributes","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"},{"path":"README.md","sizeBytes":5744,"format":"md","risk":"low","downloadPolicy":"capability","sourceKind":"mirrored-upstream"},{"path":"added_tokens.json","sizeBytes":707,"format":"json","risk":"low","downloadPolicy":"capability","sourceKind":"mirrored-upstream"}],"contentControls":{"state":"not assessed","basis":"no_explicit_uploader_evidence","matchedTerms":[],"assessedAt":null},"contentControlsLabel":"Content controls: not assessed.","contentControlsAttribution":{"upstream":{"provider":"huggingface","repoId":"lm-provers/QED-Nano"}},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-28T08:18:07.350Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"}},"policy":{"verifiedHostedFirst":true,"peerFallbacksRequireReview":true,"licenseMirrorAllowed":true,"noGatedPrivateBypass":true,"noUnreviewedMagnetPublication":true,"note":"Hugging Bay is a verified catalog and selective mirror. Peer-assisted fallback metadata is accepted only for review and is published only after source, license, provenance, and safety checks."},"hostedDownloads":{"status":"hosted","hosted":true,"hostedFiles":13,"readiness":"ready","downloadReady":true,"degraded":false,"stale":false,"serveDecision":{"state":"READY","authority":"live-serve-decision"},"filesUrl":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/files?limit=100","downloadableFilesUrl":"https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-lm-provers-qed-nano&limit=100","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-lm-provers-qed-nano","torrentUrl":null,"magnetUri":null,"torrent":{"status":"unavailable","torrentUrl":null,"magnetUri":null,"reason":"fresh_torrent_generation_unavailable"},"reviewedPeerFallbackReady":true,"reviewedPeerFallbackFiles":0,"reviewedPeerFallbackCount":0,"peerFallbackReadinessUrl":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/distribution","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":"added_tokens.json","format":"json","risk":"low","sizeBytes":707,"storageSizeBytes":707,"sha256":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","byteVerifiedAt":"2026-09-02T23:55:55.072Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/added_tokens.json","manifestUrl":"/api/manifests/hf-model-lm-provers-qed-nano","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","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-03T00:03:11.399Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":707,"readinessCheckedAt":"2026-10-28T08:18:07.349Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":707,"readinessCheckedAt":"2026-10-28T08:18:07.216Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-28T08:18:07.349Z","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":"2026-09-02T23:55:55.181Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/chat_template.jinja","manifestUrl":"/api/manifests/hf-model-lm-provers-qed-nano","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","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-03T00:03:11.399Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4049,"readinessCheckedAt":"2026-10-28T08:18:07.349Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4049,"readinessCheckedAt":"2026-10-28T08:18:07.216Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-28T08:18:07.349Z","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":"2026-09-02T23:55:55.334Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/config.json","manifestUrl":"/api/manifests/hf-model-lm-provers-qed-nano","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","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-03T00:03:11.399Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1567,"readinessCheckedAt":"2026-10-28T08:18:07.349Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1567,"readinessCheckedAt":"2026-10-28T08:18:07.216Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-28T08:18:07.349Z","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":"2026-09-02T23:55:55.436Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/generation_config.json","manifestUrl":"/api/manifests/hf-model-lm-provers-qed-nano","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","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-03T00:03:11.399Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":188,"readinessCheckedAt":"2026-10-28T08:18:07.349Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":188,"readinessCheckedAt":"2026-10-28T08:18:07.216Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-28T08:18:07.349Z","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":"2026-09-02T23:55:55.551Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/merges.txt","manifestUrl":"/api/manifests/hf-model-lm-provers-qed-nano","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","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-03T00:03:11.399Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1671853,"readinessCheckedAt":"2026-10-28T08:18:07.349Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1671853,"readinessCheckedAt":"2026-10-28T08:18:07.216Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-28T08:18:07.349Z","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":"2026-09-02T23:56:59.869Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/model-00001-of-00002.safetensors","manifestUrl":"/api/manifests/hf-model-lm-provers-qed-nano","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","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-03T00:03:11.399Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4967215360,"readinessCheckedAt":"2026-10-28T08:18:07.349Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4967215360,"readinessCheckedAt":"2026-10-28T08:18:07.216Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-28T08:18:07.349Z","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":"2026-09-02T23:57:44.579Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/model-00002-of-00002.safetensors","manifestUrl":"/api/manifests/hf-model-lm-provers-qed-nano","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","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-03T00:03:11.399Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":3077766632,"readinessCheckedAt":"2026-10-28T08:18:07.349Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":3077766632,"readinessCheckedAt":"2026-10-28T08:18:07.216Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-28T08:18:07.349Z","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":"2026-09-02T23:57:44.751Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/model.safetensors.index.json","manifestUrl":"/api/manifests/hf-model-lm-provers-qed-nano","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","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-03T00:03:11.399Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":32819,"readinessCheckedAt":"2026-10-28T08:18:07.349Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":32819,"readinessCheckedAt":"2026-10-28T08:18:07.216Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-28T08:18:07.349Z","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":"README.md","format":"md","risk":"low","sizeBytes":5744,"storageSizeBytes":5744,"sha256":"11d387e5015a57f3ed7e6174c2e7d77c5ffce7015120e0f1f64a536875edd98d","byteVerifiedAt":"2026-09-02T23:55:54.960Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/README.md","manifestUrl":"/api/manifests/hf-model-lm-provers-qed-nano","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","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-03T00:03:11.399Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":5744,"readinessCheckedAt":"2026-10-28T08:18:07.349Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":5744,"readinessCheckedAt":"2026-10-28T08:18:07.216Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-28T08:18:07.349Z","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":"2026-09-02T23:57:44.841Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/special_tokens_map.json","manifestUrl":"/api/manifests/hf-model-lm-provers-qed-nano","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","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-03T00:03:11.399Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-10-28T08:18:07.349Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-10-28T08:18:07.216Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-28T08:18:07.349Z","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":"2026-09-02T23:57:45.192Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/tokenizer_config.json","manifestUrl":"/api/manifests/hf-model-lm-provers-qed-nano","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","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-03T00:03:11.399Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":9637,"readinessCheckedAt":"2026-10-28T08:18:07.349Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":9637,"readinessCheckedAt":"2026-10-28T08:18:07.216Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-28T08:18:07.349Z","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":"2026-09-02T23:57:45.066Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/tokenizer.json","manifestUrl":"/api/manifests/hf-model-lm-provers-qed-nano","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","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-03T00:03:11.399Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":11422654,"readinessCheckedAt":"2026-10-28T08:18:07.349Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":11422654,"readinessCheckedAt":"2026-10-28T08:18:07.216Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-28T08:18:07.349Z","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":"2026-09-02T23:57:45.306Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/vocab.json","manifestUrl":"/api/manifests/hf-model-lm-provers-qed-nano","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","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-03T00:03:11.399Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2776833,"readinessCheckedAt":"2026-10-28T08:18:07.349Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T08:18:07.216Z","serveEvaluationId":"serve-5d21ef84a501b343a9ba06e836330b9d2e217d250cc8e697a93634ce570af74b","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2776833,"readinessCheckedAt":"2026-10-28T08:18:07.216Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-28T08:18:07.349Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"signed"}]},"upstream":{"provider":"huggingface","repoId":"lm-provers/QED-Nano","repoUrl":"https://huggingface.co/lm-provers/QED-Nano","externalMetadataOnly":false},"decentralizedFallbacks":{"protocol":"bittorrent-magnet-metadata","verifiedCount":0,"pendingReviewCount":0,"requestUrl":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/decentralized-fallbacks","reviewQueueUrl":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/distribution","verified":[],"pendingReview":[],"readiness":{"status":"ready-for-reviewed-fallback","ready":true,"reviewRequired":true,"publishActualMagnetOnlyAfterReview":true,"protocol":"bittorrent-magnet-metadata","torrentName":"lm-provers-QED-Nano","licenseAllowed":true,"sameAsUpstreamRequired":true,"sourceUrl":"https://huggingface.co/lm-provers/QED-Nano","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-lm-provers-qed-nano","distributionUrl":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/distribution","trustBundleUrl":"https://huggingbay.xyz/api/trust-bundles/hf-model-lm-provers-qed-nano","downloadPlanUrl":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/download-plan","requestUrl":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/decentralized-fallbacks","manifestDigest":"sha256:47f9d04028d9e03ab79c6d8a4d0e2781740f59b212f7db1f4f04a29247af9fe7","fileCount":13,"totalBytes":8060908656,"files":[{"path":"","sizeBytes":707,"sha256":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/added_tokens.json"},{"path":"","sizeBytes":4049,"sha256":"3802169b2a02b81e6adb7ab4f64f91ff02db753c8c3a64a01c35192d3a61d8d7","downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/chat_template.jinja"},{"path":"","sizeBytes":1567,"sha256":"43d8321a1608d4b8b3a241486d6aab39714f3c0ff54285fb86f101c14284956b","downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/config.json"},{"path":"","sizeBytes":188,"sha256":"3aa06a70d54b5d69e770d6b78a1fadb3d9f3429938e10aa5621199edae7e06a2","downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/generation_config.json"},{"path":"","sizeBytes":1671853,"sha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/merges.txt"},{"path":"","sizeBytes":4967215360,"sha256":"73e9a3f70a8b8b1dde8f104f224683494afe7a74191aad061ee55311695685ba","downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/model-00001-of-00002.safetensors"},{"path":"","sizeBytes":3077766632,"sha256":"6550bec7cc4db2ef00bbd9558c6daa6f4403562802aa8db2818b93d376caef2a","downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/model-00002-of-00002.safetensors"},{"path":"","sizeBytes":32819,"sha256":"e36bba5af4706cfd22ecf7eedb5fd8f4d2559b92f2414b932651b9ed6495921a","downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/model.safetensors.index.json"},{"path":"","sizeBytes":5744,"sha256":"11d387e5015a57f3ed7e6174c2e7d77c5ffce7015120e0f1f64a536875edd98d","downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/README.md"},{"path":"","sizeBytes":613,"sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/special_tokens_map.json"},{"path":"","sizeBytes":9637,"sha256":"da453ca2b9904f4851684e4a700e9f1cca4bbf3250ae04488c59bd1b0109d108","downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/tokenizer_config.json"},{"path":"","sizeBytes":11422654,"sha256":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/tokenizer.json"},{"path":"","sizeBytes":2776833,"sha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/vocab.json"}],"blockers":[],"requiredEvidence":["magnet URI with btih info hash","source URL proving the torrent maps to this public upstream release","SHA-256 or signed manifest evidence for each hosted file","reviewer note confirming license, provenance, scan, and same-as-upstream checks"],"guidance":"This hosted artifact has enough signed hash/provenance metadata for a reviewed torrent or magnet fallback request; submit the magnet for review before publication."}},"recommendedFlow":["Prefer hostedDownloads rows and verify SHA-256/manifest before runtime use.","If a legitimate torrent/magnet already exists for this open artifact, submit it to decentralizedFallbacks.requestUrl for review.","Do not use Hugging Bay to bypass gated, private, removed, or unknown-license sources."],"actions":{"web":"https://huggingbay.xyz/artifact/hf-model-lm-provers-qed-nano/distribution","submitFallback":{"method":"POST","url":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/decentralized-fallbacks","body":{"magnetUri":"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.","sourceUrl":"https://huggingface.co/lm-provers/QED-Nano","useCase":"community resilience fallback"}},"requestHostedMirror":null},"hosted":true,"hostingStatus":"hosted","publicDownloadableFileCount":13,"peerFallbacks":{"schemaVersion":"hugging-bay.peer-fallbacks.v1","generatedAt":"2026-10-28T08:18:07.359Z","baseUrl":"https://huggingbay.xyz","artifact":{"id":"hf-model-lm-provers-qed-nano","repo":"lm-provers/QED-Nano","owner":"lm-provers","name":"QED-Nano","type":"llm","license":"apache-2.0","hostingStatus":"hosted","sourceUrl":"https://huggingface.co/lm-provers/QED-Nano"},"policy":{"reviewRequired":true,"noUnreviewedMagnetPublication":true,"noGatedPrivateBypass":true,"hostedHashVerificationRequired":true,"directTorrentGeneration":false,"note":"Hosted torrents are generated only from the exact serving-eligibility authority with full-byte verification. Third-party peer-fallback metadata remains separately review-gated and unreviewed magnets are never published."},"summary":{"hostedFiles":13,"filesWithReviewedFallbacks":0,"reviewedFileFallbacks":0,"reviewedArtifactFallbacks":0,"reviewedFallbacks":0,"reviewedTorrentSources":0,"pendingReviewRequests":0,"ready":false},"readiness":{"state":"unknown","completeRunnable":false,"verified":false,"runReady":false,"reason":"recorded-evaluator-not-integrated"},"verifiedFallbacks":[],"files":[],"pendingReview":[],"actions":{"web":"https://huggingbay.xyz/artifact/hf-model-lm-provers-qed-nano/peer-fallbacks","distributionUrl":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/distribution","downloadPlanUrl":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/download-plan","hostedDownloadsUrl":"https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-lm-provers-qed-nano&limit=100","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-lm-provers-qed-nano","generatedTorrentUrl":null,"requestUrl":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/decentralized-fallbacks","artifactUrl":"https://huggingbay.xyz/artifact/hf-model-lm-provers-qed-nano","releaseUrl":"https://huggingbay.xyz/releases/hf-model-lm-provers-qed-nano"},"commands":[],"guidance":["Inspect hosted file hashes separately; they do not establish bundle completeness or runtime readiness.","Peer fallback metadata is informational and does not establish a verified or runnable bundle.","Submit legitimate open-artifact magnet metadata through actions.requestUrl; unreviewed submissions remain hidden."]},"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.","downloadable":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-28T08:18:07.350Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"}}