{"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-29T03:24:15.858Z","serveEvaluationId":"serve-a4e6ba053455c537ee73976f1b3a266ebb48cc67d562b1a0431fb9b11aa0d1d1","readiness":"ready","downloadReady":true,"hostedFileCount":10,"mirroredBytes":3570098302,"readinessCheckedAt":"2026-10-29T03:24:15.980Z","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-29T03:24:15.858Z","serveEvaluationId":"serve-a4e6ba053455c537ee73976f1b3a266ebb48cc67d562b1a0431fb9b11aa0d1d1","readiness":"ready","downloadReady":true,"hostedFileCount":10,"mirroredBytes":3570098302,"readinessCheckedAt":"2026-10-29T03:24:15.858Z","readinessSource":"file-check","degraded":false,"stale":false},"generatedAt":"2026-10-29T03:24:15.984Z","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-29T03:24:15.858Z","serveEvaluationId":"serve-a4e6ba053455c537ee73976f1b3a266ebb48cc67d562b1a0431fb9b11aa0d1d1","readiness":"ready","downloadReady":true,"hostedFileCount":10,"mirroredBytes":3570098302,"readinessCheckedAt":"2026-10-29T03:24:15.980Z","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-29T03:24:15.858Z","serveEvaluationId":"serve-a4e6ba053455c537ee73976f1b3a266ebb48cc67d562b1a0431fb9b11aa0d1d1","readiness":"ready","downloadReady":true,"hostedFileCount":10,"mirroredBytes":3570098302,"readinessCheckedAt":"2026-10-29T03:24:15.858Z","readinessSource":"file-check","degraded":false,"stale":false},"id":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","owner":"AI-MO","name":"Kimina-Prover-Preview-Distill-1.5B","repo":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","type":"llm","summary":"Model from Hugging Face for text generation: AI-MO/Kimina-Prover-Preview-Distill-1.5B · 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":"baseModel","value":"Qwen/Qwen2.5-Math-1.5B-Instruct"},{"field":"tags","value":"chat"},{"field":"task","value":"text-generation"},{"field":"cardMetadata.pipelineTag","value":"text-generation"}],"caveats":["check-license-terms","base-model-capabilities-not-inherited","repository-bytes-are-not-memory-needs"],"facts":{"license":{"id":"apache-2.0","status":"recorded"},"lineage":[{"repo":"Qwen/Qwen2.5-Math-1.5B-Instruct","field":"baseModel"}],"parameters":null,"size":{"bytes":3570099872,"scope":"repository","field":"sizeBytes"},"form":"unspecified","runs":[]}},"publisher":"AI-MO","sourceUrl":"https://huggingface.co/AI-MO/Kimina-Prover-Preview-Distill-1.5B","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","qwen2","text-generation","chat","conversational","en","arxiv:2504.11354","base_model:qwen/qwen2.5-math-1.5b-instruct","base_model:finetune:qwen/qwen2.5-math-1.5b-instruct","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","qwen/qwen2.5-math-1.5b-instruct"],"task":"text-generation","modality":"text","framework":"transformers","formats":["gitattributes","md","json","txt","safetensors"],"baseModel":"Qwen/Qwen2.5-Math-1.5B-Instruct","derivedFrom":"Qwen/Qwen2.5-Math-1.5B-Instruct","cardMetadata":{"source":"huggingface-cardData","license":"apache-2.0","metrics":[],"datasets":[],"paperIds":["2504.11354"],"repoType":"model","baseModel":"Qwen/Qwen2.5-Math-1.5B-Instruct","languages":["en"],"sourceUrl":"https://huggingface.co/AI-MO/Kimina-Prover-Preview-Distill-1.5B","evalResults":[],"libraryName":"transformers","pipelineTag":"text-generation","cardDataKeys":["base_model","language","library_name","license","tags"],"semanticText":"text-generation transformers llm model en qwen/qwen2.5-math-1.5b-instruct safetensors chat base_model:qwen/qwen2.5-math-1.5b-instruct base_model:finetune:qwen/qwen2.5-math-1.5b-instruct","semanticTerms":["text-generation","transformers","llm","model","en","qwen/qwen2.5-math-1.5b-instruct","safetensors","chat","base_model:qwen/qwen2.5-math-1.5b-instruct","base_model:finetune:qwen/qwen2.5-math-1.5b-instruct"],"siblingSample":[{"lfs":false,"path":".gitattributes","sizeBytes":1570},{"lfs":false,"path":"README.md","sizeBytes":3500},{"lfs":false,"path":"added_tokens.json","sizeBytes":605},{"lfs":false,"path":"config.json","sizeBytes":739},{"lfs":false,"path":"generation_config.json","sizeBytes":139},{"lfs":false,"path":"merges.txt","sizeBytes":1671853},{"lfs":true,"path":"model.safetensors","sizeBytes":3554214752},{"lfs":false,"path":"special_tokens_map.json","sizeBytes":613},{"lfs":true,"path":"tokenizer.json","sizeBytes":11421896},{"lfs":false,"path":"tokenizer_config.json","sizeBytes":7372},{"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":3570099872,"sizeKnown":true,"sizeLabel":"3.3 GB","sizeReason":"","declaredSizeBytes":3570099872,"defaultDownloadBytes":3554214752,"mirrorCount":1,"downloadCount":227,"stars":12,"citations":0,"updatedAt":"2026-09-04T05:05:26.879Z","createdAt":"2026-06-30T02:29:38.530Z","version":"hf-main","upstream":{"gated":false,"repoId":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","private":false,"repoUrl":"https://huggingface.co/AI-MO/Kimina-Prover-Preview-Distill-1.5B","disabled":false,"provider":"huggingface","repoType":"model","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","fetchedAt":"2026-09-04T00:00:18.147Z","importMode":"external-catalog","licenseRaw":"apache-2.0"},"hosting":{"status":"hosted","mirroredAt":"2026-09-04T05:05:26.879Z","mirroredBy":"mirror-batch-worker","totalFiles":11,"hostedFiles":10,"mirroredBytes":3570098302,"mirroredFiles":10,"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_979619428e793d240856513a5f6188abb8be58286537c4c18d282e70dc42c6c5","artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","representationId":"rep-350451c532595c70b5fa39a02ebd57f8fe51eed1c7697a90d4c774bbf84edb35","taskMode":{"mode":"unknown"},"selectedFileBindingVersion":"postgres-selected-object-binding.v2","representation":{"id":"rep-350451c532595c70b5fa39a02ebd57f8fe51eed1c7697a90d4c774bbf84edb35","artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","format":"safetensors","source":{"provider":"huggingface","identity":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","immutable":true},"files":[{"path":"README.md","role":"support","sizeBytes":3500,"sha256":"sha256:d5ce720b4d16c8c4bc3dc779e21f7f0b7a79d1b0ec37626933f553981a1c8882","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:d7186b044f6c51f3f91ee5b38f24573ab2c1f347bef28418d29908c5856e0d6a"},{"path":"added_tokens.json","role":"support","sizeBytes":605,"sha256":"sha256:58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:1bfcb8efd130c31679dcbcd95c9e2a5033b5776028ee857b3600ac67c9ec468b"},{"path":"config.json","role":"config","sizeBytes":739,"sha256":"sha256:34a21d463b04d31c9f3ee4247d51e6d00841e864404c5b8d8b385906176a4ebe","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:cc56b3894a6c1c11bcee9a724dcff5290aa51f6e50efe653f0000ef138cdb189"},{"path":"generation_config.json","role":"config","sizeBytes":139,"sha256":"sha256:de09cb41808e0b762be0b1ee87ed237e4aa79079fc13b2bb42cb62aa15b0987d","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:776acff1498285663a970b7f3999ced837e56c2b02f78bd836c07351f7cc2e3d"},{"path":"merges.txt","role":"tokenizer","sizeBytes":1671853,"sha256":"sha256:8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:dcdeb90b059164215cf470a4c876ff0e417533064e72dd6132478a87b5e525a9"},{"path":"model.safetensors","role":"weight","sizeBytes":3554214752,"sha256":"sha256:8eeb38242eec989e56aebbd23541f81ba770475556b7fd80038229959bf44e29","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:1d20433849e66849e1d59347a21897dce82b079ee33a367ec6f5b6c582733e5c"},{"path":"special_tokens_map.json","role":"tokenizer","sizeBytes":613,"sha256":"sha256:76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:d05171f38a39bb23ee460096e0128a3f8544fc1d04fc9feecb976cda8a8d9849"},{"path":"tokenizer.json","role":"tokenizer","sizeBytes":11421896,"sha256":"sha256:9c5ae00e602b8860cbd784ba82a8aa14e8feecec692e7076590d014d7b7fdafa","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:7ee7d2e5ee8675cf710bae83dba9edb7c6a18de87b88f66aff3c7ea2b29b4d19"},{"path":"tokenizer_config.json","role":"config","sizeBytes":7372,"sha256":"sha256:4461979643db606ce128f709420d8e99310e2f6fab67985879c58715520aa9e0","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:6d6e68a04a2627ce3de92d9fbcc9074faf00791c2275ecedccc300158dc8548d"},{"path":"vocab.json","role":"tokenizer","sizeBytes":2776833,"sha256":"sha256:ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:c019f0a8ed65e39480c8134c8ac24ee462cae5d5ac90c6308b1bc011eef26861"}]},"evaluatorVersion":"1.3.1","selectedFilesDigest":"sha256:3bac6cd73960c3647e16f7a841e24a034d0a7b52bdabaac62ac6919f44c4ad7c","representationDigest":"sha256:5845bbab14470fb482ed9d05610551d6fcd64c34aa3722ac2fd6e7cdddb0e3ba","evidenceSnapshotDigest":"sha256:479f5c2aad648563dd90c96a099013db62838d7e6cdc4b69d1fa8eab3c2d0ea2","evaluatedAt":"2026-09-04T05:05:27.366Z","authorityVersion":"sha256:8a41ec341268e9a5c823d967f720f2f130f2496f1369a4e3a2c528be4af05908","invalidatedBy":null,"manifestFinal":true,"downloadable":false,"hosted":true,"hostedFiles":10,"serveAuthority":"live-serve-decision","individuallyHashedFiles":10,"weightsHosted":null,"weightCountState":"not-snapshot-bound","totalFiles":10,"strictlyDownloadableFiles":10,"strictlyDownloadableHashedFiles":10,"strictlyDownloadableWeights":null,"strictWeightCountState":"not-snapshot-bound","artifactInventoryFiles":11,"scope":"recorded-postgres-snapshot","serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-29T03:24:15.980Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"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":11,"publicDownloadableFileCount":10,"externalFileCount":11,"servingCountsRefreshedAt":null,"servingCountsStale":false,"signals":{"size":{"known":true,"bytes":3570099872,"label":"3.3 GB","reason":""},"demand":{"mirrorRequests":0,"upstreamDownloads":227,"upstreamStars":12,"label":"227 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":"AI-MO/Kimina-Prover-Preview-Distill-1.5B"},{"id":"scan","label":"Scan","status":"pass","detail":"passed"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"10/11 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: AI-MO/Kimina-Prover-Preview-Distill-1.5B","Scan: passed","Byte manifest integrity: selected representation is complete-bytes; per-file SHA-256 published (cryptographic signing pending)"],"gaps":["Hosted files: 10/11 repository files hosted; selected representation evaluated separately"]},"readiness":{"score":0,"level":"bytes-complete","hostedFinal":true,"hostedFiles":10,"externalFiles":1,"totalFiles":11},"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-ai-mo-kimina-prover-preview-distill-1-5b/download-plan"}},"sampleFiles":[{"path":".gitattributes","sizeBytes":1570,"format":"gitattributes","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"},{"path":"README.md","sizeBytes":3500,"format":"md","risk":"low","downloadPolicy":"capability","sourceKind":"mirrored-upstream"},{"path":"added_tokens.json","sizeBytes":605,"format":"json","risk":"low","downloadPolicy":"capability","sourceKind":"mirrored-upstream"},{"path":"config.json","sizeBytes":739,"format":"json","risk":"low","downloadPolicy":"capability","sourceKind":"mirrored-upstream"},{"path":"generation_config.json","sizeBytes":139,"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":"AI-MO/Kimina-Prover-Preview-Distill-1.5B"}},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T03:24:15.980Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"}},"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":10,"readiness":"ready","downloadReady":true,"degraded":false,"stale":false,"serveDecision":{"state":"READY","authority":"live-serve-decision"},"filesUrl":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/files?limit=100","downloadableFilesUrl":"https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-ai-mo-kimina-prover-preview-distill-1-5b&limit=100","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","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-ai-mo-kimina-prover-preview-distill-1-5b/distribution","rows":[{"artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","visibility":"public","owner":"AI-MO","name":"Kimina-Prover-Preview-Distill-1.5B","repo":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen2","text-generation","chat","conversational","en","arxiv:2504.11354","base_model:qwen/qwen2.5-math-1.5b-instruct","base_model:finetune:qwen/qwen2.5-math-1.5b-instruct","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","qwen/qwen2.5-math-1.5b-instruct"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: AI-MO/Kimina-Prover-Preview-Distill-1.5B · transformers","baseModel":"Qwen/Qwen2.5-Math-1.5B-Instruct","downloadCount":227,"filePath":"added_tokens.json","format":"json","risk":"low","sizeBytes":605,"storageSizeBytes":605,"sha256":"58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b","byteVerifiedAt":"2026-09-04T05:04:38.536Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/added_tokens.json","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","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-04T05:08:10.402Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T03:24:15.858Z","serveEvaluationId":"serve-a4e6ba053455c537ee73976f1b3a266ebb48cc67d562b1a0431fb9b11aa0d1d1","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":605,"readinessCheckedAt":"2026-10-29T03:24:15.979Z","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-29T03:24:15.858Z","serveEvaluationId":"serve-a4e6ba053455c537ee73976f1b3a266ebb48cc67d562b1a0431fb9b11aa0d1d1","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":605,"readinessCheckedAt":"2026-10-29T03:24:15.858Z","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-29T03:24:15.979Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"},{"artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","visibility":"public","owner":"AI-MO","name":"Kimina-Prover-Preview-Distill-1.5B","repo":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen2","text-generation","chat","conversational","en","arxiv:2504.11354","base_model:qwen/qwen2.5-math-1.5b-instruct","base_model:finetune:qwen/qwen2.5-math-1.5b-instruct","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","qwen/qwen2.5-math-1.5b-instruct"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: AI-MO/Kimina-Prover-Preview-Distill-1.5B · transformers","baseModel":"Qwen/Qwen2.5-Math-1.5B-Instruct","downloadCount":227,"filePath":"config.json","format":"json","risk":"low","sizeBytes":739,"storageSizeBytes":739,"sha256":"34a21d463b04d31c9f3ee4247d51e6d00841e864404c5b8d8b385906176a4ebe","byteVerifiedAt":"2026-09-04T05:04:38.619Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/config.json","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","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-04T05:08:10.402Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T03:24:15.858Z","serveEvaluationId":"serve-a4e6ba053455c537ee73976f1b3a266ebb48cc67d562b1a0431fb9b11aa0d1d1","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":739,"readinessCheckedAt":"2026-10-29T03:24:15.980Z","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-29T03:24:15.858Z","serveEvaluationId":"serve-a4e6ba053455c537ee73976f1b3a266ebb48cc67d562b1a0431fb9b11aa0d1d1","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":739,"readinessCheckedAt":"2026-10-29T03:24:15.858Z","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-29T03:24:15.980Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"},{"artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","visibility":"public","owner":"AI-MO","name":"Kimina-Prover-Preview-Distill-1.5B","repo":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen2","text-generation","chat","conversational","en","arxiv:2504.11354","base_model:qwen/qwen2.5-math-1.5b-instruct","base_model:finetune:qwen/qwen2.5-math-1.5b-instruct","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","qwen/qwen2.5-math-1.5b-instruct"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: AI-MO/Kimina-Prover-Preview-Distill-1.5B · transformers","baseModel":"Qwen/Qwen2.5-Math-1.5B-Instruct","downloadCount":227,"filePath":"generation_config.json","format":"json","risk":"low","sizeBytes":139,"storageSizeBytes":139,"sha256":"de09cb41808e0b762be0b1ee87ed237e4aa79079fc13b2bb42cb62aa15b0987d","byteVerifiedAt":"2026-09-04T05:04:38.712Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/generation_config.json","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","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-04T05:08:10.402Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T03:24:15.858Z","serveEvaluationId":"serve-a4e6ba053455c537ee73976f1b3a266ebb48cc67d562b1a0431fb9b11aa0d1d1","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":139,"readinessCheckedAt":"2026-10-29T03:24:15.980Z","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-29T03:24:15.858Z","serveEvaluationId":"serve-a4e6ba053455c537ee73976f1b3a266ebb48cc67d562b1a0431fb9b11aa0d1d1","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":139,"readinessCheckedAt":"2026-10-29T03:24:15.858Z","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-29T03:24:15.980Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"},{"artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","visibility":"public","owner":"AI-MO","name":"Kimina-Prover-Preview-Distill-1.5B","repo":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen2","text-generation","chat","conversational","en","arxiv:2504.11354","base_model:qwen/qwen2.5-math-1.5b-instruct","base_model:finetune:qwen/qwen2.5-math-1.5b-instruct","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","qwen/qwen2.5-math-1.5b-instruct"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: AI-MO/Kimina-Prover-Preview-Distill-1.5B · transformers","baseModel":"Qwen/Qwen2.5-Math-1.5B-Instruct","downloadCount":227,"filePath":"merges.txt","format":"txt","risk":"low","sizeBytes":1671853,"storageSizeBytes":1671853,"sha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","byteVerifiedAt":"2026-09-04T05:04:38.808Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/merges.txt","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","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-04T05:08:10.402Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T03:24:15.858Z","serveEvaluationId":"serve-a4e6ba053455c537ee73976f1b3a266ebb48cc67d562b1a0431fb9b11aa0d1d1","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1671853,"readinessCheckedAt":"2026-10-29T03:24:15.980Z","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-29T03:24:15.858Z","serveEvaluationId":"serve-a4e6ba053455c537ee73976f1b3a266ebb48cc67d562b1a0431fb9b11aa0d1d1","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1671853,"readinessCheckedAt":"2026-10-29T03:24:15.858Z","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-29T03:24:15.980Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"},{"artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","visibility":"public","owner":"AI-MO","name":"Kimina-Prover-Preview-Distill-1.5B","repo":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen2","text-generation","chat","conversational","en","arxiv:2504.11354","base_model:qwen/qwen2.5-math-1.5b-instruct","base_model:finetune:qwen/qwen2.5-math-1.5b-instruct","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","qwen/qwen2.5-math-1.5b-instruct"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: AI-MO/Kimina-Prover-Preview-Distill-1.5B · transformers","baseModel":"Qwen/Qwen2.5-Math-1.5B-Instruct","downloadCount":227,"filePath":"model.safetensors","format":"safetensors","risk":"low","sizeBytes":3554214752,"storageSizeBytes":3554214752,"sha256":"8eeb38242eec989e56aebbd23541f81ba770475556b7fd80038229959bf44e29","byteVerifiedAt":"2026-09-04T05:05:20.510Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/model.safetensors","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","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-04T05:08:10.402Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T03:24:15.858Z","serveEvaluationId":"serve-a4e6ba053455c537ee73976f1b3a266ebb48cc67d562b1a0431fb9b11aa0d1d1","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":3554214752,"readinessCheckedAt":"2026-10-29T03:24:15.980Z","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-29T03:24:15.858Z","serveEvaluationId":"serve-a4e6ba053455c537ee73976f1b3a266ebb48cc67d562b1a0431fb9b11aa0d1d1","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":3554214752,"readinessCheckedAt":"2026-10-29T03:24:15.858Z","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-29T03:24:15.980Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"},{"artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","visibility":"public","owner":"AI-MO","name":"Kimina-Prover-Preview-Distill-1.5B","repo":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen2","text-generation","chat","conversational","en","arxiv:2504.11354","base_model:qwen/qwen2.5-math-1.5b-instruct","base_model:finetune:qwen/qwen2.5-math-1.5b-instruct","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","qwen/qwen2.5-math-1.5b-instruct"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: AI-MO/Kimina-Prover-Preview-Distill-1.5B · transformers","baseModel":"Qwen/Qwen2.5-Math-1.5B-Instruct","downloadCount":227,"filePath":"README.md","format":"md","risk":"low","sizeBytes":3500,"storageSizeBytes":3500,"sha256":"d5ce720b4d16c8c4bc3dc779e21f7f0b7a79d1b0ec37626933f553981a1c8882","byteVerifiedAt":"2026-09-04T05:04:38.449Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/README.md","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","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-04T05:08:10.402Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T03:24:15.858Z","serveEvaluationId":"serve-a4e6ba053455c537ee73976f1b3a266ebb48cc67d562b1a0431fb9b11aa0d1d1","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":3500,"readinessCheckedAt":"2026-10-29T03:24:15.980Z","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-29T03:24:15.858Z","serveEvaluationId":"serve-a4e6ba053455c537ee73976f1b3a266ebb48cc67d562b1a0431fb9b11aa0d1d1","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":3500,"readinessCheckedAt":"2026-10-29T03:24:15.858Z","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-29T03:24:15.980Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"},{"artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","visibility":"public","owner":"AI-MO","name":"Kimina-Prover-Preview-Distill-1.5B","repo":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen2","text-generation","chat","conversational","en","arxiv:2504.11354","base_model:qwen/qwen2.5-math-1.5b-instruct","base_model:finetune:qwen/qwen2.5-math-1.5b-instruct","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","qwen/qwen2.5-math-1.5b-instruct"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: AI-MO/Kimina-Prover-Preview-Distill-1.5B · transformers","baseModel":"Qwen/Qwen2.5-Math-1.5B-Instruct","downloadCount":227,"filePath":"special_tokens_map.json","format":"json","risk":"low","sizeBytes":613,"storageSizeBytes":613,"sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","byteVerifiedAt":"2026-09-04T05:05:20.723Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/special_tokens_map.json","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","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-04T05:08:10.402Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T03:24:15.858Z","serveEvaluationId":"serve-a4e6ba053455c537ee73976f1b3a266ebb48cc67d562b1a0431fb9b11aa0d1d1","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-10-29T03:24:15.980Z","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-29T03:24:15.858Z","serveEvaluationId":"serve-a4e6ba053455c537ee73976f1b3a266ebb48cc67d562b1a0431fb9b11aa0d1d1","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-10-29T03:24:15.858Z","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-29T03:24:15.980Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"},{"artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","visibility":"public","owner":"AI-MO","name":"Kimina-Prover-Preview-Distill-1.5B","repo":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen2","text-generation","chat","conversational","en","arxiv:2504.11354","base_model:qwen/qwen2.5-math-1.5b-instruct","base_model:finetune:qwen/qwen2.5-math-1.5b-instruct","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","qwen/qwen2.5-math-1.5b-instruct"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: AI-MO/Kimina-Prover-Preview-Distill-1.5B · transformers","baseModel":"Qwen/Qwen2.5-Math-1.5B-Instruct","downloadCount":227,"filePath":"tokenizer_config.json","format":"json","risk":"low","sizeBytes":7372,"storageSizeBytes":7372,"sha256":"4461979643db606ce128f709420d8e99310e2f6fab67985879c58715520aa9e0","byteVerifiedAt":"2026-09-04T05:05:21.364Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/tokenizer_config.json","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","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-04T05:08:10.402Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T03:24:15.858Z","serveEvaluationId":"serve-a4e6ba053455c537ee73976f1b3a266ebb48cc67d562b1a0431fb9b11aa0d1d1","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":7372,"readinessCheckedAt":"2026-10-29T03:24:15.980Z","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-29T03:24:15.858Z","serveEvaluationId":"serve-a4e6ba053455c537ee73976f1b3a266ebb48cc67d562b1a0431fb9b11aa0d1d1","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":7372,"readinessCheckedAt":"2026-10-29T03:24:15.858Z","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-29T03:24:15.980Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"},{"artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","visibility":"public","owner":"AI-MO","name":"Kimina-Prover-Preview-Distill-1.5B","repo":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen2","text-generation","chat","conversational","en","arxiv:2504.11354","base_model:qwen/qwen2.5-math-1.5b-instruct","base_model:finetune:qwen/qwen2.5-math-1.5b-instruct","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","qwen/qwen2.5-math-1.5b-instruct"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: AI-MO/Kimina-Prover-Preview-Distill-1.5B · transformers","baseModel":"Qwen/Qwen2.5-Math-1.5B-Instruct","downloadCount":227,"filePath":"tokenizer.json","format":"json","risk":"low","sizeBytes":11421896,"storageSizeBytes":11421896,"sha256":"9c5ae00e602b8860cbd784ba82a8aa14e8feecec692e7076590d014d7b7fdafa","byteVerifiedAt":"2026-09-04T05:05:21.088Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/tokenizer.json","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","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-04T05:08:10.402Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T03:24:15.858Z","serveEvaluationId":"serve-a4e6ba053455c537ee73976f1b3a266ebb48cc67d562b1a0431fb9b11aa0d1d1","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":11421896,"readinessCheckedAt":"2026-10-29T03:24:15.980Z","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-29T03:24:15.858Z","serveEvaluationId":"serve-a4e6ba053455c537ee73976f1b3a266ebb48cc67d562b1a0431fb9b11aa0d1d1","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":11421896,"readinessCheckedAt":"2026-10-29T03:24:15.858Z","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-29T03:24:15.980Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"},{"artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","visibility":"public","owner":"AI-MO","name":"Kimina-Prover-Preview-Distill-1.5B","repo":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen2","text-generation","chat","conversational","en","arxiv:2504.11354","base_model:qwen/qwen2.5-math-1.5b-instruct","base_model:finetune:qwen/qwen2.5-math-1.5b-instruct","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","qwen/qwen2.5-math-1.5b-instruct"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: AI-MO/Kimina-Prover-Preview-Distill-1.5B · transformers","baseModel":"Qwen/Qwen2.5-Math-1.5B-Instruct","downloadCount":227,"filePath":"vocab.json","format":"json","risk":"low","sizeBytes":2776833,"storageSizeBytes":2776833,"sha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","byteVerifiedAt":"2026-09-04T05:05:21.486Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/vocab.json","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","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-04T05:08:10.402Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T03:24:15.858Z","serveEvaluationId":"serve-a4e6ba053455c537ee73976f1b3a266ebb48cc67d562b1a0431fb9b11aa0d1d1","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2776833,"readinessCheckedAt":"2026-10-29T03:24:15.980Z","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-29T03:24:15.858Z","serveEvaluationId":"serve-a4e6ba053455c537ee73976f1b3a266ebb48cc67d562b1a0431fb9b11aa0d1d1","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2776833,"readinessCheckedAt":"2026-10-29T03:24:15.858Z","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-29T03:24:15.980Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"}]},"upstream":{"provider":"huggingface","repoId":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","repoUrl":"https://huggingface.co/AI-MO/Kimina-Prover-Preview-Distill-1.5B","externalMetadataOnly":false},"decentralizedFallbacks":{"protocol":"bittorrent-magnet-metadata","verifiedCount":0,"pendingReviewCount":0,"requestUrl":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/decentralized-fallbacks","reviewQueueUrl":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/distribution","verified":[],"pendingReview":[],"readiness":{"status":"ready-for-reviewed-fallback","ready":true,"reviewRequired":true,"publishActualMagnetOnlyAfterReview":true,"protocol":"bittorrent-magnet-metadata","torrentName":"AI-MO-Kimina-Prover-Preview-Distill-1.5B","licenseAllowed":true,"sameAsUpstreamRequired":true,"sourceUrl":"https://huggingface.co/AI-MO/Kimina-Prover-Preview-Distill-1.5B","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","distributionUrl":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/distribution","trustBundleUrl":"https://huggingbay.xyz/api/trust-bundles/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","downloadPlanUrl":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/download-plan","requestUrl":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/decentralized-fallbacks","manifestDigest":"sha256:f762514eeefe045a33b66d313adaa754d2382ce497d45806124d1cf099628c99","fileCount":10,"totalBytes":3570098302,"files":[{"path":"","sizeBytes":605,"sha256":"58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b","downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/added_tokens.json"},{"path":"","sizeBytes":739,"sha256":"34a21d463b04d31c9f3ee4247d51e6d00841e864404c5b8d8b385906176a4ebe","downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/config.json"},{"path":"","sizeBytes":139,"sha256":"de09cb41808e0b762be0b1ee87ed237e4aa79079fc13b2bb42cb62aa15b0987d","downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/generation_config.json"},{"path":"","sizeBytes":1671853,"sha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/merges.txt"},{"path":"","sizeBytes":3554214752,"sha256":"8eeb38242eec989e56aebbd23541f81ba770475556b7fd80038229959bf44e29","downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/model.safetensors"},{"path":"","sizeBytes":3500,"sha256":"d5ce720b4d16c8c4bc3dc779e21f7f0b7a79d1b0ec37626933f553981a1c8882","downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/README.md"},{"path":"","sizeBytes":613,"sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/special_tokens_map.json"},{"path":"","sizeBytes":7372,"sha256":"4461979643db606ce128f709420d8e99310e2f6fab67985879c58715520aa9e0","downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/tokenizer_config.json"},{"path":"","sizeBytes":11421896,"sha256":"9c5ae00e602b8860cbd784ba82a8aa14e8feecec692e7076590d014d7b7fdafa","downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/tokenizer.json"},{"path":"","sizeBytes":2776833,"sha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/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-ai-mo-kimina-prover-preview-distill-1-5b/distribution","submitFallback":{"method":"POST","url":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/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/AI-MO/Kimina-Prover-Preview-Distill-1.5B","useCase":"community resilience fallback"}},"requestHostedMirror":null},"hosted":true,"hostingStatus":"hosted","publicDownloadableFileCount":10,"peerFallbacks":{"schemaVersion":"hugging-bay.peer-fallbacks.v1","generatedAt":"2026-10-29T03:24:15.987Z","baseUrl":"https://huggingbay.xyz","artifact":{"id":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","repo":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","owner":"AI-MO","name":"Kimina-Prover-Preview-Distill-1.5B","type":"llm","license":"apache-2.0","hostingStatus":"hosted","sourceUrl":"https://huggingface.co/AI-MO/Kimina-Prover-Preview-Distill-1.5B"},"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":10,"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-ai-mo-kimina-prover-preview-distill-1-5b/peer-fallbacks","distributionUrl":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/distribution","downloadPlanUrl":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/download-plan","hostedDownloadsUrl":"https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-ai-mo-kimina-prover-preview-distill-1-5b&limit=100","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","generatedTorrentUrl":null,"requestUrl":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/decentralized-fallbacks","artifactUrl":"https://huggingbay.xyz/artifact/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","releaseUrl":"https://huggingbay.xyz/releases/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"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-29T03:24:15.980Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"}}