{"schemaVersion":"hugging-bay.publisher-profile.v1","generatedAt":"2026-10-10T17:06:45.550Z","namespace":"AI-MO","displayName":"AI-MO","claimed":false,"applicationStatus":null,"stats":{"artifacts":3,"publicArtifacts":3,"gatedArtifacts":0,"hostedArtifacts":0,"hostedFiles":0,"externalFiles":34,"totalFiles":34,"downloads":1180,"stars":371,"updatedAt":"2026-09-04T05:05:26.879Z","reviewQualification":"self-reported-unqualified","reviewTrustImpact":"none"},"topArtifact":{"readiness":"ready","downloadReady":true,"downloadable":true,"downloadStatus":"READY","hostedFileCount":10,"mirroredBytes":4079401510,"readinessCheckedAt":"2026-10-10T07:09:40.961Z","readinessSource":"file-check","degraded":true,"stale":true,"serveExplanation":{"readiness":"ready","downloadReady":true,"downloadable":true,"downloadStatus":"READY","hostedFileCount":10,"mirroredBytes":4079401510,"readinessCheckedAt":"2026-10-10T07:09:40.961Z","readinessSource":"file-check","degraded":true,"stale":true},"id":"hf-model-ai-mo-kimina-prover-distill-1-7b","owner":"AI-MO","name":"Kimina-Prover-Distill-1.7B","repo":"AI-MO/Kimina-Prover-Distill-1.7B","type":"llm","summary":"Model from Hugging Face for text generation: AI-MO/Kimina-Prover-Distill-1.7B · transformers","publisher":"AI-MO","sourceUrl":"https://huggingface.co/AI-MO/Kimina-Prover-Distill-1.7B","license":"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","chat","conversational","en","base_model:qwen/qwen3-1.7b","base_model:finetune:qwen/qwen3-1.7b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","qwen/qwen3-1.7b"],"task":"text-generation","modality":"text","framework":"transformers","formats":["gitattributes","md","json","txt","safetensors"],"baseModel":"Qwen/Qwen3-1.7B","derivedFrom":"Qwen/Qwen3-1.7B","cardMetadata":{"source":"huggingface-cardData","license":"apache-2.0","metrics":[],"datasets":[],"paperIds":[],"repoType":"model","baseModel":"Qwen/Qwen3-1.7B","languages":["en"],"sourceUrl":"https://huggingface.co/AI-MO/Kimina-Prover-Distill-1.7B","evalResults":[],"libraryName":"transformers","pipelineTag":"text-generation","cardDataKeys":["base_model","language","library_name","license","tags"],"semanticText":"text-generation transformers llm model en qwen/qwen3-1.7b safetensors chat","semanticTerms":["text-generation","transformers","llm","model","en","qwen/qwen3-1.7b","safetensors","chat"],"siblingSample":[{"lfs":false,"path":".gitattributes","sizeBytes":1570},{"lfs":false,"path":"README.md","sizeBytes":2479},{"lfs":false,"path":"added_tokens.json","sizeBytes":707},{"lfs":false,"path":"config.json","sizeBytes":728},{"lfs":false,"path":"generation_config.json","sizeBytes":214},{"lfs":false,"path":"merges.txt","sizeBytes":1671853},{"lfs":true,"path":"model.safetensors","sizeBytes":4063515640},{"lfs":false,"path":"special_tokens_map.json","sizeBytes":613},{"lfs":true,"path":"tokenizer.json","sizeBytes":11422654},{"lfs":false,"path":"tokenizer_config.json","sizeBytes":9789},{"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":4079403080,"sizeKnown":true,"sizeLabel":"3.8 GB","sizeReason":"","declaredSizeBytes":4079403080,"defaultDownloadBytes":null,"mirrorCount":1,"downloadCount":723,"stars":7,"citations":0,"updatedAt":"2026-08-29T22:47:33.733Z","createdAt":"2026-06-30T02:17:35.913Z","version":"hf-main","upstream":{"gated":false,"repoId":"AI-MO/Kimina-Prover-Distill-1.7B","private":false,"repoUrl":"https://huggingface.co/AI-MO/Kimina-Prover-Distill-1.7B","disabled":false,"provider":"huggingface","repoType":"model","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","fetchedAt":"2026-08-29T19:16:55.788Z","importMode":"external-catalog","licenseRaw":"apache-2.0"},"hosting":{"status":"hosted","mirroredAt":"2026-08-29T22:47:33.733Z","mirroredBy":"mirror-batch-worker","totalFiles":11,"hostedFiles":10,"mirroredBytes":4079401510,"mirroredFiles":10,"storageProvider":"gcs","hosted":true,"downloadable":true,"verified":false,"completeRunnable":false,"runReady":false,"refreshedAt":null,"stale":false,"downloadReady":true},"mirrorCompletion":{"state":"unknown","reason":"recorded-snapshot-unavailable","completeRunnable":null,"verified":null,"runReady":null,"commandsAvailable":false,"manifestFinal":false,"downloadable":false,"hosted":false,"serveAuthority":"unbound","hostedFiles":0,"individuallyHashedFiles":0,"weightsHosted":null,"weightCountState":"not-snapshot-bound","strictlyDownloadableFiles":0,"strictlyDownloadableHashedFiles":0,"strictlyDownloadableWeights":null,"strictWeightCountState":"not-snapshot-bound","totalFiles":8,"scope":"file-inventory-only"},"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":8,"publicDownloadableFileCount":10,"externalFileCount":8,"servingCountsRefreshedAt":null,"servingCountsStale":false,"signals":{"size":{"known":true,"bytes":4079403080,"label":"3.8 GB","reason":""},"demand":{"mirrorRequests":0,"upstreamDownloads":723,"upstreamStars":7,"label":"723 upstream downloads","basis":"upstream-downloads"},"trust":{"score":0,"level":"metadata-checked","label":"Unknown","qualification":"recorded-state-unknown","trustImpact":"none","checks":[{"id":"license","label":"License","status":"pass","detail":"apache-2.0"},{"id":"provenance","label":"Provenance","status":"pass","detail":"AI-MO/Kimina-Prover-Distill-1.7B"},{"id":"scan","label":"Scan","status":"pass","detail":"passed"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"external metadata only"},{"id":"manifest","label":"Byte manifest integrity","status":"warn","detail":"not final yet"}],"strengths":["License: apache-2.0","Provenance: AI-MO/Kimina-Prover-Distill-1.7B","Scan: passed"],"gaps":["Hosted files: external metadata only","Byte manifest integrity: not final yet"]},"readiness":{"score":0,"level":"unknown","hostedFinal":false,"hostedFiles":0,"externalFiles":8,"totalFiles":8},"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-distill-1-7b/mirrors"}},"sampleFiles":[{"path":".gitattributes","sizeBytes":1570,"format":"gitattributes","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"}]},"topTypes":[{"type":"llm","count":3}],"topLicenses":[{"license":"apache-2.0","count":3}],"sourceCounts":[{"source":"huggingface","count":3}],"worksWith":[],"links":{"web":"https://huggingbay.xyz/publishers/AI-MO","api":"https://huggingbay.xyz/api/publishers/AI-MO","artifacts":"https://huggingbay.xyz/api/artifacts?summary=1&owner=AI-MO&limit=50","apply":"https://huggingbay.xyz/publishers/apply"},"artifacts":[{"readiness":"ready","downloadReady":true,"downloadable":true,"downloadStatus":"READY","hostedFileCount":10,"mirroredBytes":4079401510,"readinessCheckedAt":"2026-10-10T07:09:40.961Z","readinessSource":"file-check","degraded":true,"stale":true,"serveExplanation":{"readiness":"ready","downloadReady":true,"downloadable":true,"downloadStatus":"READY","hostedFileCount":10,"mirroredBytes":4079401510,"readinessCheckedAt":"2026-10-10T07:09:40.961Z","readinessSource":"file-check","degraded":true,"stale":true},"id":"hf-model-ai-mo-kimina-prover-distill-1-7b","owner":"AI-MO","name":"Kimina-Prover-Distill-1.7B","repo":"AI-MO/Kimina-Prover-Distill-1.7B","type":"llm","summary":"Model from Hugging Face for text generation: AI-MO/Kimina-Prover-Distill-1.7B · transformers","publisher":"AI-MO","sourceUrl":"https://huggingface.co/AI-MO/Kimina-Prover-Distill-1.7B","license":"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","chat","conversational","en","base_model:qwen/qwen3-1.7b","base_model:finetune:qwen/qwen3-1.7b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","qwen/qwen3-1.7b"],"task":"text-generation","modality":"text","framework":"transformers","formats":["gitattributes","md","json","txt","safetensors"],"baseModel":"Qwen/Qwen3-1.7B","derivedFrom":"Qwen/Qwen3-1.7B","cardMetadata":{"source":"huggingface-cardData","license":"apache-2.0","metrics":[],"datasets":[],"paperIds":[],"repoType":"model","baseModel":"Qwen/Qwen3-1.7B","languages":["en"],"sourceUrl":"https://huggingface.co/AI-MO/Kimina-Prover-Distill-1.7B","evalResults":[],"libraryName":"transformers","pipelineTag":"text-generation","cardDataKeys":["base_model","language","library_name","license","tags"],"semanticText":"text-generation transformers llm model en qwen/qwen3-1.7b safetensors chat","semanticTerms":["text-generation","transformers","llm","model","en","qwen/qwen3-1.7b","safetensors","chat"],"siblingSample":[{"lfs":false,"path":".gitattributes","sizeBytes":1570},{"lfs":false,"path":"README.md","sizeBytes":2479},{"lfs":false,"path":"added_tokens.json","sizeBytes":707},{"lfs":false,"path":"config.json","sizeBytes":728},{"lfs":false,"path":"generation_config.json","sizeBytes":214},{"lfs":false,"path":"merges.txt","sizeBytes":1671853},{"lfs":true,"path":"model.safetensors","sizeBytes":4063515640},{"lfs":false,"path":"special_tokens_map.json","sizeBytes":613},{"lfs":true,"path":"tokenizer.json","sizeBytes":11422654},{"lfs":false,"path":"tokenizer_config.json","sizeBytes":9789},{"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":4079403080,"sizeKnown":true,"sizeLabel":"3.8 GB","sizeReason":"","declaredSizeBytes":4079403080,"defaultDownloadBytes":null,"mirrorCount":1,"downloadCount":723,"stars":7,"citations":0,"updatedAt":"2026-08-29T22:47:33.733Z","createdAt":"2026-06-30T02:17:35.913Z","version":"hf-main","upstream":{"gated":false,"repoId":"AI-MO/Kimina-Prover-Distill-1.7B","private":false,"repoUrl":"https://huggingface.co/AI-MO/Kimina-Prover-Distill-1.7B","disabled":false,"provider":"huggingface","repoType":"model","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","fetchedAt":"2026-08-29T19:16:55.788Z","importMode":"external-catalog","licenseRaw":"apache-2.0"},"hosting":{"status":"hosted","mirroredAt":"2026-08-29T22:47:33.733Z","mirroredBy":"mirror-batch-worker","totalFiles":11,"hostedFiles":10,"mirroredBytes":4079401510,"mirroredFiles":10,"storageProvider":"gcs","hosted":true,"downloadable":true,"verified":false,"completeRunnable":false,"runReady":false,"refreshedAt":null,"stale":false,"downloadReady":true},"mirrorCompletion":{"state":"unknown","reason":"recorded-snapshot-unavailable","completeRunnable":null,"verified":null,"runReady":null,"commandsAvailable":false,"manifestFinal":false,"downloadable":false,"hosted":false,"serveAuthority":"unbound","hostedFiles":0,"individuallyHashedFiles":0,"weightsHosted":null,"weightCountState":"not-snapshot-bound","strictlyDownloadableFiles":0,"strictlyDownloadableHashedFiles":0,"strictlyDownloadableWeights":null,"strictWeightCountState":"not-snapshot-bound","totalFiles":8,"scope":"file-inventory-only"},"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":8,"publicDownloadableFileCount":10,"externalFileCount":8,"servingCountsRefreshedAt":null,"servingCountsStale":false,"signals":{"size":{"known":true,"bytes":4079403080,"label":"3.8 GB","reason":""},"demand":{"mirrorRequests":0,"upstreamDownloads":723,"upstreamStars":7,"label":"723 upstream downloads","basis":"upstream-downloads"},"trust":{"score":0,"level":"metadata-checked","label":"Unknown","qualification":"recorded-state-unknown","trustImpact":"none","checks":[{"id":"license","label":"License","status":"pass","detail":"apache-2.0"},{"id":"provenance","label":"Provenance","status":"pass","detail":"AI-MO/Kimina-Prover-Distill-1.7B"},{"id":"scan","label":"Scan","status":"pass","detail":"passed"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"external metadata only"},{"id":"manifest","label":"Byte manifest integrity","status":"warn","detail":"not final yet"}],"strengths":["License: apache-2.0","Provenance: AI-MO/Kimina-Prover-Distill-1.7B","Scan: passed"],"gaps":["Hosted files: external metadata only","Byte manifest integrity: not final yet"]},"readiness":{"score":0,"level":"unknown","hostedFinal":false,"hostedFiles":0,"externalFiles":8,"totalFiles":8},"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-distill-1-7b/mirrors"}},"sampleFiles":[{"path":".gitattributes","sizeBytes":1570,"format":"gitattributes","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"}]},{"readiness":"ready","downloadReady":true,"downloadable":true,"downloadStatus":"READY","hostedFileCount":14,"mirroredBytes":13825649676,"readinessCheckedAt":"2026-10-10T04:17:41.890Z","readinessSource":"file-check","degraded":true,"stale":true,"serveExplanation":{"readiness":"ready","downloadReady":true,"downloadable":true,"downloadStatus":"READY","hostedFileCount":14,"mirroredBytes":13825649676,"readinessCheckedAt":"2026-10-10T04:17:41.890Z","readinessSource":"file-check","degraded":true,"stale":true},"id":"hf-model-ai-mo-numinamath-7b-tir","owner":"AI-MO","name":"NuminaMath-7B-TIR","repo":"AI-MO/NuminaMath-7B-TIR","type":"llm","summary":"Model from Hugging Face for text generation: AI-MO/NuminaMath-7B-TIR · transformers","publisher":"AI-MO","sourceUrl":"https://huggingface.co/AI-MO/NuminaMath-7B-TIR","license":"apache-2.0","visibility":"public","verificationStatus":"unknown","scanStatus":"passed","cardCompleteness":93,"tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","llama","text-generation","alignment-handbook","generated_from_trainer","conversational","arxiv:2309.17452","base_model:deepseek-ai/deepseek-math-7b-base","base_model:finetune:deepseek-ai/deepseek-math-7b-base","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm","deepseek-ai/deepseek-math-7b-base","numinamath-7b-tir"],"task":"text-generation","modality":"text","framework":"transformers","formats":["gitattributes","md","json","safetensors","png","bin"],"baseModel":"deepseek-ai/deepseek-math-7b-base","derivedFrom":"deepseek-ai/deepseek-math-7b-base","cardMetadata":{"source":"huggingface-cardData","license":"apache-2.0","metrics":[],"datasets":[],"paperIds":["2309.17452"],"repoType":"model","baseModel":"deepseek-ai/deepseek-math-7b-base","languages":[],"sourceUrl":"https://huggingface.co/AI-MO/NuminaMath-7B-TIR","evalResults":[],"libraryName":"transformers","pipelineTag":"text-generation","cardDataKeys":["base_model","license","model-index","pipeline_tag","tags","widget"],"semanticText":"text-generation transformers llm model deepseek-ai/deepseek-math-7b-base numinamath-7b-tir safetensors","semanticTerms":["text-generation","transformers","llm","model","deepseek-ai/deepseek-math-7b-base","numinamath-7b-tir","safetensors"],"siblingSample":[{"lfs":false,"path":".gitattributes","sizeBytes":1519},{"lfs":false,"path":"README.md","sizeBytes":9027},{"lfs":false,"path":"all_results.json","sizeBytes":434},{"lfs":false,"path":"config.json","sizeBytes":716},{"lfs":false,"path":"eval_results.json","sizeBytes":222},{"lfs":false,"path":"generation_config.json","sizeBytes":121},{"lfs":true,"path":"model-00001-of-00003.safetensors","sizeBytes":4987202208},{"lfs":true,"path":"model-00002-of-00003.safetensors","sizeBytes":4980945440},{"lfs":true,"path":"model-00003-of-00003.safetensors","sizeBytes":3852615520},{"lfs":false,"path":"model.safetensors.index.json","sizeBytes":22464},{"lfs":false,"path":"special_tokens_map.json","sizeBytes":482},{"lfs":false,"path":"thumbnail.png","sizeBytes":43280},{"lfs":false,"path":"tokenizer.json","sizeBytes":4608376},{"lfs":false,"path":"tokenizer_config.json","sizeBytes":1229},{"lfs":false,"path":"train_results.json","sizeBytes":232},{"lfs":false,"path":"trainer_state.json","sizeBytes":243205},{"lfs":true,"path":"training_args.bin","sizeBytes":6712}],"modelIndexNames":["NuminaMath-7B-TIR"]},"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":13825701187,"sizeKnown":true,"sizeLabel":"12.9 GB","sizeReason":"","declaredSizeBytes":13825701187,"defaultDownloadBytes":null,"mirrorCount":1,"downloadCount":230,"stars":352,"citations":0,"updatedAt":"2026-09-02T05:38:48.410Z","createdAt":"2026-06-30T02:29:22.608Z","version":"hf-main","upstream":{"gated":false,"repoId":"AI-MO/NuminaMath-7B-TIR","private":false,"repoUrl":"https://huggingface.co/AI-MO/NuminaMath-7B-TIR","disabled":false,"provider":"huggingface","repoType":"model","revision":"cf2aaf3f706eef519a80523e21c655903203e984","fetchedAt":"2026-08-30T15:39:19.642Z","importMode":"external-catalog","licenseRaw":"apache-2.0"},"hosting":{"status":"hosted","mirroredAt":"2026-09-02T05:38:48.410Z","mirroredBy":"mirror-batch-worker","totalFiles":17,"hostedFiles":14,"mirroredBytes":13825649676,"mirroredFiles":14,"storageProvider":"gcs","hosted":true,"downloadable":true,"verified":false,"completeRunnable":false,"runReady":false,"refreshedAt":null,"stale":false,"downloadReady":true},"mirrorCompletion":{"state":"unknown","reason":"recorded-snapshot-unavailable","completeRunnable":null,"verified":null,"runReady":null,"commandsAvailable":false,"manifestFinal":false,"downloadable":false,"hosted":false,"serveAuthority":"unbound","hostedFiles":0,"individuallyHashedFiles":0,"weightsHosted":null,"weightCountState":"not-snapshot-bound","strictlyDownloadableFiles":0,"strictlyDownloadableHashedFiles":0,"strictlyDownloadableWeights":null,"strictWeightCountState":"not-snapshot-bound","totalFiles":17,"scope":"file-inventory-only"},"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":17,"publicDownloadableFileCount":14,"externalFileCount":17,"servingCountsRefreshedAt":null,"servingCountsStale":false,"signals":{"size":{"known":true,"bytes":13825701187,"label":"12.9 GB","reason":""},"demand":{"mirrorRequests":0,"upstreamDownloads":230,"upstreamStars":352,"label":"230 upstream downloads","basis":"upstream-downloads"},"trust":{"score":0,"level":"metadata-checked","label":"Unknown","qualification":"recorded-state-unknown","trustImpact":"none","checks":[{"id":"license","label":"License","status":"pass","detail":"apache-2.0"},{"id":"provenance","label":"Provenance","status":"pass","detail":"AI-MO/NuminaMath-7B-TIR"},{"id":"scan","label":"Scan","status":"pass","detail":"passed"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"external metadata only"},{"id":"manifest","label":"Byte manifest integrity","status":"warn","detail":"not final yet"}],"strengths":["License: apache-2.0","Provenance: AI-MO/NuminaMath-7B-TIR","Scan: passed"],"gaps":["Hosted files: external metadata only","Byte manifest integrity: not final yet"]},"readiness":{"score":0,"level":"unknown","hostedFinal":false,"hostedFiles":0,"externalFiles":17,"totalFiles":17},"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-numinamath-7b-tir/mirrors"}},"sampleFiles":[{"path":".gitattributes","sizeBytes":1519,"format":"gitattributes","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"}]},{"readiness":"ready","downloadReady":true,"downloadable":true,"downloadStatus":"READY","hostedFileCount":10,"mirroredBytes":3570098302,"readinessCheckedAt":"2026-10-10T05:50:53.747Z","readinessSource":"file-check","degraded":true,"stale":true,"serveExplanation":{"readiness":"ready","downloadReady":true,"downloadable":true,"downloadStatus":"READY","hostedFileCount":10,"mirroredBytes":3570098302,"readinessCheckedAt":"2026-10-10T05:50:53.747Z","readinessSource":"file-check","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","publisher":"AI-MO","sourceUrl":"https://huggingface.co/AI-MO/Kimina-Prover-Preview-Distill-1.5B","license":"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":true,"verified":false,"completeRunnable":false,"runReady":false,"refreshedAt":null,"stale":false,"downloadReady":true},"mirrorCompletion":{"state":"unknown","reason":"recorded-snapshot-unavailable","completeRunnable":null,"verified":null,"runReady":null,"commandsAvailable":false,"manifestFinal":false,"downloadable":false,"hosted":false,"serveAuthority":"unbound","hostedFiles":0,"individuallyHashedFiles":0,"weightsHosted":null,"weightCountState":"not-snapshot-bound","strictlyDownloadableFiles":0,"strictlyDownloadableHashedFiles":0,"strictlyDownloadableWeights":null,"strictWeightCountState":"not-snapshot-bound","totalFiles":9,"scope":"file-inventory-only"},"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":9,"publicDownloadableFileCount":10,"externalFileCount":9,"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-unknown","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":"external metadata only"},{"id":"manifest","label":"Byte manifest integrity","status":"warn","detail":"not final yet"}],"strengths":["License: apache-2.0","Provenance: AI-MO/Kimina-Prover-Preview-Distill-1.5B","Scan: passed"],"gaps":["Hosted files: external metadata only","Byte manifest integrity: not final yet"]},"readiness":{"score":0,"level":"unknown","hostedFinal":false,"hostedFiles":0,"externalFiles":9,"totalFiles":9},"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":[{"path":".gitattributes","sizeBytes":1570,"format":"gitattributes","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"}]}],"guidance":["Use publisher profiles to find official namespace releases and likely maintainers.","Claim status is a Hugging Bay namespace signal, not proof of upstream ownership unless verification is explicit.","Use hosted/downloadable rows plus manifests for automated downloads."],"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."}}