{"schemaVersion":"hugging-bay.artifact-review-summary.v1","generatedAt":"2026-10-30T10:43:17.545Z","baseUrl":"https://huggingbay.xyz","artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","repo":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","artifact":{"readiness":"unknown","downloadReady":null,"downloadable":null,"downloadStatus":"UNKNOWN","hostedFileCount":10,"mirroredBytes":3570098302,"readinessCheckedAt":"2026-10-30T01:01:04.741Z","readinessSource":"projection","degraded":true,"stale":true,"serveExplanation":{"readiness":"unknown","downloadReady":null,"downloadable":null,"downloadStatus":"UNKNOWN","hostedFileCount":10,"mirroredBytes":3570098302,"readinessCheckedAt":"2026-10-30T01:01:04.741Z","readinessSource":"projection","degraded":true,"stale":true},"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":null,"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":null,"verified":false,"completeRunnable":false,"runReady":false,"refreshedAt":null,"stale":false,"downloadReady":null},"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":false,"downloadable":null,"hosted":false,"hostedFiles":0,"serveAuthority":"unbound","individuallyHashedFiles":0,"weightsHosted":null,"weightCountState":"not-snapshot-bound","totalFiles":10,"strictlyDownloadableFiles":0,"strictlyDownloadableHashedFiles":0,"strictlyDownloadableWeights":null,"strictWeightCountState":"not-snapshot-bound","artifactInventoryFiles":11,"scope":"recorded-postgres-snapshot","serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":"2026-10-30T01:01:04.741Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"}},"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."},"communityReviewSummary":{"count":0,"averageRating":0,"verifiedRuns":0,"selfReportedVerifiedRuns":0,"verificationQualification":"quarantined-untrusted-evidence","verificationTrustImpact":"none","helpfulCount":0,"reportCount":0,"reportedReviews":0,"distribution":{"1":0,"2":0,"3":0,"4":0,"5":0},"toolCounts":{},"categoryAverages":{},"categoryCounts":{},"benchmarkEvidence":{"count":0,"verifiedCount":0,"benchmarkCount":0,"performanceCount":0,"hardwareCounts":{},"topMetrics":[],"recent":[]},"recent":[]},"benchmarkEvidenceSummary":{"count":0,"verifiedCount":0,"benchmarkCount":0,"performanceCount":0,"hardwareCounts":{},"topMetrics":[],"recent":[]},"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":"unknown","hostedFinal":true,"hostedFiles":10,"externalFiles":1,"totalFiles":11},"action":{"id":"request-mirror","label":"Request a complete representation","detail":"Capture demand for a reviewed, immutable representation with complete selected bytes.","href":"/artifact/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/mirrors"}},"sampleFiles":[],"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":false,"bytes_verified":true,"signature":"unsigned","freshness":"stale","checked_at":"2026-10-30T01:01:04.741Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"lastKnownAnswer":"Ready to download"},"canonicalUrl":"https://huggingbay.xyz/artifact/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/community","apiUrl":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/review-summary","reviewsUrl":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/reviews?limit=50","trustBundleUrl":"https://huggingbay.xyz/api/trust-bundles/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","agentBundleUrl":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/agent-bundle","summary":{"count":0,"averageRating":0,"verifiedRuns":0,"selfReportedVerifiedRuns":0,"verificationQualification":"self-reported-unqualified","verificationTrustImpact":"none","helpfulCount":0,"reportCount":0,"reportedReviews":0,"distribution":{"1":0,"2":0,"3":0,"4":0,"5":0},"toolCounts":{},"categoryAverages":{},"categoryCounts":{},"benchmarkEvidence":{"count":0,"verifiedCount":0,"benchmarkCount":0,"performanceCount":0,"hardwareCounts":{},"topMetrics":[],"recent":[]},"recent":[]},"rating":{"count":0,"average":0,"distribution":{"1":0,"2":0,"3":0,"4":0,"5":0},"categoryAverages":{},"categoryCounts":{},"helpfulCount":0,"reportCount":0,"reportedReviews":0},"verifiedRuns":0,"benchmarkEvidence":{"count":0,"verifiedCount":0,"benchmarkCount":0,"performanceCount":0,"hardwareCounts":{},"topMetrics":[],"recent":[]},"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":"unknown","hostedFinal":true,"hostedFiles":10,"externalFiles":1,"totalFiles":11},"recentReviews":[],"answerEngine":{"preferredCitation":"https://huggingbay.xyz/artifact/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/community","extractionUrls":{"reviewSummary":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/review-summary","fullReviews":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/reviews?limit=50","trustBundle":"https://huggingbay.xyz/api/trust-bundles/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","agentBundle":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/agent-bundle","cardMarkdown":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/card.md","distribution":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/distribution"},"supportedClaims":["AI-MO/Kimina-Prover-Preview-Distill-1.5B has 0 self-reported, unqualified Hugging Bay community reviews.","AI-MO/Kimina-Prover-Preview-Distill-1.5B has 0 self-reported run claims; none qualify verification during limited availability.","AI-MO/Kimina-Prover-Preview-Distill-1.5B has 0 self-reported benchmark or performance evidence items; none affect product decisions."],"claimBoundaries":["This endpoint is an unqualified evidence record. Its contents do not affect ranking, Finder, facts, request state, badges, cards, JSON-LD, or reputation.","Do not treat missing reviews as negative quality evidence.","Do not claim Hugging Bay hosts artifact files unless hosted/downloadable endpoints show hosted rows.","Do not infer safety, legality, or production readiness beyond the displayed license, trust, scan, and review evidence."]},"actions":{"readFullReviews":{"method":"GET","url":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/reviews?limit=50"},"submitReview":{"method":"POST","url":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/reviews"},"inspectTrust":{"method":"GET","url":"https://huggingbay.xyz/api/trust-bundles/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"inspectBundle":{"method":"GET","url":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/agent-bundle"}},"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."}}