{"schemaVersion":"hugging-bay.artifact-card.v1","pageFacts":{"id":"hf-model-lm-provers-qed-nano","repo":"lm-provers/QED-Nano","type":"llm","purpose":"open-weights language model for text generation","license":{"id":"apache-2.0","label":"apache-2.0","state":"known","url":"https://spdx.org/licenses/Apache-2.0.html","source":"spdx","hostedFile":false,"commercialUse":"yes","terms":"Permissive open license: commercial use, modification, and redistribution are permitted."},"task":{"id":"text-generation","label":"text generation"},"size":{"bytes":8061868927,"label":"8.06 GB","known":true,"repositoryLabel":"Full repo upstream","hostedKnown":false,"hostedBytes":0,"hostedLabel":"size unknown","hostedSummary":"availability unknown","hostedIsSubset":false,"downloadBytes":0,"downloadLabel":"","recommended":null,"parameters":null,"sentence":"Hosted here: availability unknown. Full repo upstream: 8.06 GB."},"files":{"hosted":0,"total":20,"label":"20 listed, none hosted here"},"download":{"status":"blocked","gated":"serve","label":"Not available to download right now","url":""},"released":{"iso":"2026-06-30","label":"Jun 30, 2026","upstream":false,"factLabel":"Added to Hugging Bay"},"updated":{"iso":"2026-09-02","label":"Sep 2, 2026","factLabel":"Updated at source"},"source":{"provider":"huggingface","label":"Hugging Face","url":"https://huggingface.co/lm-provers/QED-Nano","repoId":"lm-provers/QED-Nano"},"languages":["en"],"baseModel":{"ref":"","url":"","resolveUrl":""},"paperIds":["2602.03773"],"arxivIds":["2602.03773"],"sameAs":["https://huggingface.co/lm-provers/QED-Nano","https://arxiv.org/abs/2602.03773"],"creator":{"@type":"Organization","name":"lm-provers","url":"https://huggingface.co/lm-provers","sameAs":["https://huggingface.co/lm-provers"]},"scholarlyArticles":[{"@type":"ScholarlyArticle","@id":"https://arxiv.org/abs/2602.03773","identifier":"arXiv:2602.03773","url":"https://arxiv.org/abs/2602.03773","sameAs":"https://doi.org/10.48550/arXiv.2602.03773"}],"scanStatus":"passed","faq":[{"id":"what-is-it","question":"What is lm-provers/QED-Nano?","answer":"lm-provers/QED-Nano is an open-weights language model for text generation published by lm-provers, added to Hugging Bay Jun 30, 2026. Model from Hugging Face for text generation: lm-provers/QED-Nano · transformers"},{"id":"license","question":"What license does lm-provers/QED-Nano use, and can I use it commercially?","answer":"It is released under the apache-2.0 license. Commercial use is allowed. Permissive open license: commercial use, modification, and redistribution are permitted."},{"id":"size","question":"How big is lm-provers/QED-Nano?","answer":"Hosted here: availability unknown. Full repo upstream: 8.06 GB."},{"id":"download","question":"Where can I download lm-provers/QED-Nano?","answer":"No files are available to download from Hugging Bay right now. The record lists 20 files."},{"id":"safety","question":"File pattern scans","answer":"Automated file-pattern scans flagged nothing; not a safety guarantee. No files are hosted here, so no hosted-file hashes are published. The machine-readable verdict is at /api/artifacts/hf-model-lm-provers-qed-nano/safety on Hugging Bay."},{"id":"fit-unknown","question":"Will lm-provers/QED-Nano run on my computer?","answer":"We can’t check the fit; we don’t know your machine. We don’t have your machine’s specs, so no check ran and no verdict is shown. Answer two quick questions and we’ll estimate, from the memory you tell us, whether it fits your machine. Or skip it; you can still download; fit isn’t checked."}]},"generatedAt":"2026-10-22T03:24:34.386Z","signals":{"size":{"known":true,"bytes":8061868927,"label":"7.5 GB","reason":""},"demand":{"mirrorRequests":0,"upstreamDownloads":153,"upstreamStars":89,"label":"153 upstream downloads","basis":"upstream-downloads"},"trust":{"score":0,"level":"metadata-checked","label":"Unknown","trustImpact":"none","checks":[{"id":"license","label":"License","status":"pass","detail":"apache-2.0"},{"id":"provenance","label":"Provenance","status":"pass","detail":"lm-provers/QED-Nano"},{"id":"scan","label":"Scan","status":"pass","detail":"passed"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"external metadata only"},{"id":"manifest","label":"Byte manifest integrity","status":"warn","detail":"not final yet"}],"strengths":["License: apache-2.0","Provenance: lm-provers/QED-Nano","Scan: passed"],"gaps":["Hosted files: external metadata only","Byte manifest integrity: not final yet"]},"readiness":{"score":0,"level":"unknown","hostedFinal":false,"hostedFiles":null,"externalFiles":null,"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-lm-provers-qed-nano/mirrors"}},"structuredData":{"@context":"https://schema.org","@graph":[{"@type":"Organization","@id":"https://huggingbay.xyz/#organization","name":"Hugging Bay","url":"https://huggingbay.xyz","description":"Hugging Bay is a byte-verified hosted mirror of open-source AI model files.","sameAs":["https://www.npmjs.com/package/hugging-bay-mcp","https://pypi.org/project/hugging-bay/","https://registry.modelcontextprotocol.io/v0.1/servers/io.github.barneywohl%2Fhugging-bay/versions/latest"]},{"@type":"WebSite","@id":"https://huggingbay.xyz/#website","url":"https://huggingbay.xyz","name":"Hugging Bay","description":"Hugging Bay is a byte-verified hosted mirror of open-source AI model files.","publisher":{"@id":"https://huggingbay.xyz/#organization"},"potentialAction":{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https://huggingbay.xyz/browse?q={search_term_string}"},"query-input":"required name=search_term_string"}},{"@type":"ItemPage","@id":"https://huggingbay.xyz/artifact/hf-model-lm-provers-qed-nano#webpage","url":"https://huggingbay.xyz/artifact/hf-model-lm-provers-qed-nano","name":"lm-provers/QED-Nano | Hugging Bay","description":"External Hugging Face catalog record for lm-provers/QED-Nano. Task: text generation. Library: transformers. Languages: en. Datasets referenced by card metadata: lm-provers/FineProofs-RL. Popularity signal at import: 6,877 downloads and 89 likes.","image":"https://huggingbay.xyz/brand/harbor-social-card.png","isPartOf":{"@id":"https://huggingbay.xyz/#website"},"mainEntity":{"@id":"https://huggingbay.xyz/artifact/hf-model-lm-provers-qed-nano#artifact"}},{"@type":"BreadcrumbList","@id":"https://huggingbay.xyz/artifact/hf-model-lm-provers-qed-nano#breadcrumbs","itemListElement":[{"@type":"ListItem","position":1,"name":"Hugging Bay","item":"https://huggingbay.xyz/"},{"@type":"ListItem","position":2,"name":"Artifacts","item":"https://huggingbay.xyz/browse"},{"@type":"ListItem","position":3,"name":"lm-provers/QED-Nano","item":"https://huggingbay.xyz/artifact/hf-model-lm-provers-qed-nano"}]},{"@type":["SoftwareApplication","CreativeWork"],"@id":"https://huggingbay.xyz/artifact/hf-model-lm-provers-qed-nano#artifact","name":"lm-provers/QED-Nano","alternateName":"QED-Nano","description":"External Hugging Face catalog record for lm-provers/QED-Nano. Task: text generation. Library: transformers. Languages: en. Datasets referenced by card metadata: lm-provers/FineProofs-RL. Popularity signal at import: 6,877 downloads and 89 likes.","url":"https://huggingbay.xyz/artifact/hf-model-lm-provers-qed-nano","identifier":"hf-model-lm-provers-qed-nano","additionalType":"https://huggingbay.xyz/schema/OpenWeightLanguageModel","applicationCategory":"AI model artifact","applicationSubCategory":"text-generation","license":"https://spdx.org/licenses/Apache-2.0.html","keywords":"llm, text-generation, text, transformers, yaml, gitattributes, md, json, jinja, png, txt, safetensors, huggingface-import, external-catalog, model, apache-2.0, transformers, safetensors, qwen3, text-generation, conversational, en, dataset:lm-provers/fineproofs-rl, arxiv:2602.03773, base_model:lm-provers/qed-nano-sft, base_model:finetune:lm-provers/qed-nano-sft, license:apache-2.0, eval-results, text-generation-inference, endpoints_compatible, deploy:azure, region:us, llm, lm-provers/fineproofs-rl","datePublished":"2026-06-30","dateModified":"2026-09-02","inLanguage":["en"],"creator":{"@type":"Organization","name":"lm-provers"},"publisher":{"@type":"Organization","name":"lm-provers","url":"https://huggingface.co/lm-provers","sameAs":["https://huggingface.co/lm-provers"]},"sameAs":["https://huggingface.co/lm-provers/QED-Nano","https://arxiv.org/abs/2602.03773"],"isBasedOn":{"@type":"CreativeWork","name":"Original upstream source","url":"https://huggingface.co/lm-provers/QED-Nano"},"isAccessibleForFree":true,"conditionsOfAccess":"Public metadata is crawlable. Hosted downloads are available only for reviewed mirrored files listed by Hugging Bay manifests and downloadable-file APIs.","citation":[{"@type":"ScholarlyArticle","@id":"https://arxiv.org/abs/2602.03773","identifier":"arXiv:2602.03773","url":"https://arxiv.org/abs/2602.03773","sameAs":"https://doi.org/10.48550/arXiv.2602.03773"},"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/card.md","https://huggingbay.xyz/api/trust-bundles/hf-model-lm-provers-qed-nano","https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/distribution"],"softwareVersion":"hf-main","review":[],"subjectOf":[{"@type":"DigitalDocument","name":"Hugging Bay artifact card","url":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/card","encodingFormat":"application/json"},{"@type":"DigitalDocument","name":"Hugging Bay artifact card markdown","url":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/card.md","encodingFormat":"text/markdown"},{"@type":"DigitalDocument","name":"Hugging Bay agent bundle","url":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/agent-bundle","encodingFormat":"application/json"},{"@type":"DigitalDocument","name":"Hugging Bay trust bundle","url":"https://huggingbay.xyz/api/trust-bundles/hf-model-lm-provers-qed-nano","encodingFormat":"application/json"},{"@type":"DigitalDocument","name":"Hugging Bay distribution document","url":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/distribution","encodingFormat":"application/json"},{"@type":"DigitalDocument","@id":"https://huggingbay.xyz/artifact/hf-model-lm-provers-qed-nano#license-provenance-metadata","name":"License and provenance metadata","url":"https://huggingbay.xyz/api/trust-bundles/hf-model-lm-provers-qed-nano"},{"@type":"WebAPI","@id":"https://huggingbay.xyz/artifact/hf-model-lm-provers-qed-nano#trust-bundle-api","name":"Hugging Bay trust bundle API","url":"https://huggingbay.xyz/api/trust-bundles/hf-model-lm-provers-qed-nano","documentation":"https://huggingbay.xyz/api/trust-bundles/hf-model-lm-provers-qed-nano","provider":{"@id":"https://huggingbay.xyz/#organization"}},{"@type":"WebAPI","@id":"https://huggingbay.xyz/artifact/hf-model-lm-provers-qed-nano#review-summary-api","name":"Hugging Bay review summary API","url":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/review-summary","documentation":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/review-summary","provider":{"@id":"https://huggingbay.xyz/#organization"}},{"@type":"WebAPI","@id":"https://huggingbay.xyz/artifact/hf-model-lm-provers-qed-nano#distribution-api","name":"Hugging Bay distribution API","url":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/distribution","documentation":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/distribution","provider":{"@id":"https://huggingbay.xyz/#organization"}},{"@type":"WebPage","name":"Original upstream source","url":"https://huggingface.co/lm-provers/QED-Nano"}],"potentialAction":[{"@type":"OrganizeAction","name":"Request a complete representation","target":"https://huggingbay.xyz/artifact/hf-model-lm-provers-qed-nano/mirrors"}],"additionalProperty":[{"@type":"PropertyValue","name":"Declared license","value":"apache-2.0"},{"@type":"PropertyValue","name":"Pipeline","value":"text-generation"},{"@type":"PropertyValue","name":"Library","value":"transformers"},{"@type":"PropertyValue","name":"Task categories","value":"text-generation"},{"@type":"PropertyValue","name":"Languages","value":"en"},{"@type":"PropertyValue","name":"Referenced datasets","value":"lm-provers/FineProofs-RL"},{"@type":"PropertyValue","name":"Paper ids","value":"2602.03773"},{"@type":"PropertyValue","name":"File hints","value":"16 upstream file samples"},{"@type":"PropertyValue","name":"Hosting status","value":"blocked"},{"@type":"PropertyValue","name":"Hosted files","value":"0"},{"@type":"PropertyValue","name":"Listed files","value":"17"},{"@type":"PropertyValue","name":"Full repo upstream","value":"8.06 GB"},{"@type":"PropertyValue","name":"Full repo upstream in bytes","value":"8061868927","unitCode":"AD"},{"@type":"PropertyValue","name":"Recommended file","value":"8.04 GB (2 files)"},{"@type":"PropertyValue","name":"Recommended file size","value":"8.04 GB (2 files)"},{"@type":"PropertyValue","name":"Recommended file size in bytes","value":"8044981992","unitCode":"AD"},{"@type":"PropertyValue","name":"License","value":"apache-2.0"},{"@type":"PropertyValue","name":"Scan status","value":"passed"},{"@type":"PropertyValue","name":"Trust score","value":"0"},{"@type":"PropertyValue","name":"Trust level","value":"metadata-checked"},{"@type":"PropertyValue","name":"Verified peer-assisted fallbacks","value":"0"},{"@type":"PropertyValue","name":"Files with reviewed peer-assisted fallbacks","value":"0"},{"@type":"PropertyValue","name":"Reviewed peer fallback file records","value":"0"},{"@type":"PropertyValue","name":"Agent bundle","value":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/agent-bundle"},{"@type":"PropertyValue","name":"Trust bundle","value":"https://huggingbay.xyz/api/trust-bundles/hf-model-lm-provers-qed-nano"},{"@type":"PropertyValue","name":"Download completeness state","value":"File inventory only: Individually hashed hosted files may be downloaded, but selected-representation completeness and runtime state are unknown."},{"@type":"PropertyValue","value":"unknown"},{"@type":"PropertyValue","value":"unknown"},{"@type":"PropertyValue","name":"Selected representation","value":"unknown"},{"@type":"PropertyValue","name":"Run fit"},{"@type":"PropertyValue","name":"Runtime footprint","value":"unknown"},{"@type":"PropertyValue","name":"Run-fit warnings"}]},{"@type":"FAQPage","@id":"https://huggingbay.xyz/artifact/hf-model-lm-provers-qed-nano#faq","dateModified":"2026-09-02","mainEntity":[{"@type":"Question","@id":"https://huggingbay.xyz/artifact/hf-model-lm-provers-qed-nano#faq-what-is-it","name":"What is this model?","acceptedAnswer":{"@type":"Answer","text":"lm-provers/QED-Nano is an open-weights language model for text generation published by lm-provers, added to Hugging Bay Jun 30, 2026. Model from Hugging Face for text generation: lm-provers/QED-Nano · transformers"}},{"@type":"Question","@id":"https://huggingbay.xyz/artifact/hf-model-lm-provers-qed-nano#faq-license","name":"Can I use it commercially?","acceptedAnswer":{"@type":"Answer","text":"It is released under the apache-2.0 license. Commercial use is allowed. Permissive open license: commercial use, modification, and redistribution are permitted."}},{"@type":"Question","@id":"https://huggingbay.xyz/artifact/hf-model-lm-provers-qed-nano#faq-size","name":"How big is it?","acceptedAnswer":{"@type":"Answer","text":"Hosted here: availability unknown. Full repo upstream: 8.06 GB. The recommended download, a 2-file weight set, is 8.04 GB."}},{"@type":"Question","@id":"https://huggingbay.xyz/artifact/hf-model-lm-provers-qed-nano#faq-download","name":"What can I download here?","acceptedAnswer":{"@type":"Answer","text":"No files are available to download from Hugging Bay right now. The record lists 17 files."}},{"@type":"Question","@id":"https://huggingbay.xyz/artifact/hf-model-lm-provers-qed-nano#faq-safety","name":"File pattern scans","acceptedAnswer":{"@type":"Answer","text":"Automated file-pattern scans flagged nothing; not a safety guarantee. No files are hosted here, so no hosted-file hashes are published. The machine-readable verdict is at /api/artifacts/hf-model-lm-provers-qed-nano/safety on Hugging Bay."}},{"@type":"Question","@id":"https://huggingbay.xyz/artifact/hf-model-lm-provers-qed-nano#faq-fit-unknown","name":"Will lm-provers/QED-Nano run on my computer?","acceptedAnswer":{"@type":"Answer","text":"We can’t check the fit; we don’t know your machine. We don’t have your machine’s specs, so no check ran and no verdict is shown. Answer two quick questions and we’ll estimate, from the memory you tell us, whether it fits your machine. Or skip it; you can still download; fit isn’t checked."}}]}]},"artifactId":"hf-model-lm-provers-qed-nano","artifact":{"id":"hf-model-lm-provers-qed-nano","repo":"lm-provers/QED-Nano","type":"llm","typeLabel":"LLM","summary":"Model from Hugging Face for text generation: lm-provers/QED-Nano · transformers","description":"External Hugging Face catalog record for lm-provers/QED-Nano. Task: text generation. Library: transformers. Languages: en. Datasets referenced by card metadata: lm-provers/FineProofs-RL. Popularity signal at import: 6,877 downloads and 89 likes.","task":"text-generation","modality":"text","framework":"transformers","formats":["yaml","gitattributes","md","json","jinja","png","txt","safetensors"],"tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","en","dataset:lm-provers/fineproofs-rl","arxiv:2602.03773","base_model:lm-provers/qed-nano-sft","base_model:finetune:lm-provers/qed-nano-sft","license:apache-2.0","eval-results","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm","lm-provers/fineproofs-rl"],"license":"apache-2.0","sourceUrl":"https://huggingface.co/lm-provers/QED-Nano","upstream":{"gated":false,"repoId":"lm-provers/QED-Nano","private":false,"repoUrl":"https://huggingface.co/lm-provers/QED-Nano","disabled":false,"provider":"huggingface","repoType":"model","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","fetchedAt":"2026-09-02T23:41:52.075Z","importMode":"external-catalog","licenseRaw":"apache-2.0"},"cardCompleteness":96,"safetyNotes":["External catalog metadata imported from Hugging Face public API on 2026-09-02T23:41:52.276Z.","Open license detected as apache-2.0.","Model card references dataset context: lm-provers/FineProofs-RL.","Not locally hosted, mirrored, signed, or rescanned by Hugging Bay."],"cardMetadata":{"source":"huggingface-cardData","license":"apache-2.0","metrics":[],"datasets":["lm-provers/FineProofs-RL"],"paperIds":["2602.03773"],"repoType":"model","baseModel":"","languages":["en"],"sourceUrl":"https://huggingface.co/lm-provers/QED-Nano","evalResults":[],"libraryName":"transformers","pipelineTag":"text-generation","cardDataKeys":["base_model","datasets","language","library_name","license"],"semanticText":"text-generation transformers llm model en lm-provers/fineproofs-rl safetensors","semanticTerms":["text-generation","transformers","llm","model","en","lm-provers/fineproofs-rl","safetensors"],"siblingSample":[{"lfs":false,"path":".eval_results/MathArena--aime_2026.yaml","sizeBytes":209},{"lfs":false,"path":".eval_results/MathArena--hmmt_feb_2026.yaml","sizeBytes":222},{"lfs":false,"path":".gitattributes","sizeBytes":1773},{"lfs":false,"path":"README.md","sizeBytes":5744},{"lfs":false,"path":"added_tokens.json","sizeBytes":707},{"lfs":false,"path":"chat_template.jinja","sizeBytes":4049},{"lfs":false,"path":"config.json","sizeBytes":1567},{"lfs":true,"path":"evals.png","sizeBytes":155380},{"lfs":false,"path":"generation_config.json","sizeBytes":188},{"lfs":true,"path":"imoproofbench.png","sizeBytes":109511},{"lfs":true,"path":"logo.png","sizeBytes":260424},{"lfs":false,"path":"merges.txt","sizeBytes":1671853},{"lfs":true,"path":"model-00001-of-00002.safetensors","sizeBytes":4967215360},{"lfs":true,"path":"model-00002-of-00002.safetensors","sizeBytes":3077766632},{"lfs":true,"path":"model.safetensors.bak","sizeBytes":432752},{"lfs":false,"path":"model.safetensors.index.json","sizeBytes":32819},{"lfs":false,"path":"special_tokens_map.json","sizeBytes":613},{"lfs":true,"path":"tokenizer.json","sizeBytes":11422654},{"lfs":false,"path":"tokenizer_config.json","sizeBytes":9637},{"lfs":false,"path":"vocab.json","sizeBytes":2776833}],"modelIndexNames":[]},"modelCardFacts":{"source":"huggingface-cardData","repoType":"model","sourceUrl":"https://huggingface.co/lm-provers/QED-Nano","declaredLicense":"apache-2.0","pipelineTag":"text-generation","libraryName":"transformers","baseModel":"","baseModels":[],"taskCategories":["text-generation"],"cardTags":[],"languages":["en"],"datasets":["lm-provers/FineProofs-RL"],"metrics":[],"paperIds":["2602.03773"],"modelIndexNames":[],"evalResults":[],"siblingSample":[{"path":".eval_results/MathArena--aime_2026.yaml","sizeBytes":209,"lfs":false},{"path":".eval_results/MathArena--hmmt_feb_2026.yaml","sizeBytes":222,"lfs":false},{"path":".gitattributes","sizeBytes":1773,"lfs":false},{"path":"README.md","sizeBytes":5744,"lfs":false},{"path":"added_tokens.json","sizeBytes":707,"lfs":false},{"path":"chat_template.jinja","sizeBytes":4049,"lfs":false},{"path":"config.json","sizeBytes":1567,"lfs":false},{"path":"evals.png","sizeBytes":155380,"lfs":true},{"path":"generation_config.json","sizeBytes":188,"lfs":false},{"path":"imoproofbench.png","sizeBytes":109511,"lfs":true},{"path":"logo.png","sizeBytes":260424,"lfs":true},{"path":"merges.txt","sizeBytes":1671853,"lfs":false},{"path":"model-00001-of-00002.safetensors","sizeBytes":4967215360,"lfs":true},{"path":"model-00002-of-00002.safetensors","sizeBytes":3077766632,"lfs":true},{"path":"model.safetensors.bak","sizeBytes":432752,"lfs":true},{"path":"model.safetensors.index.json","sizeBytes":32819,"lfs":false}],"semanticTerms":["text-generation","transformers","llm","model","en","lm-provers/fineproofs-rl","safetensors"],"cardDataKeys":["base_model","datasets","language","library_name","license"],"coverage":{"rawKeyCount":17,"normalizedFields":8,"hasDeclaredLicense":true,"hasPipeline":true,"hasLibrary":true,"hasBaseModel":false,"hasLanguages":true,"hasDatasets":true,"hasMetrics":false,"hasPapers":true,"hasModelIndex":false,"hasEvaluationResults":false,"hasFileHints":true,"hasTaskCategories":true,"hasCardTags":false},"facts":[{"id":"declared-license","label":"Declared license","value":"apache-2.0"},{"id":"pipeline","label":"Pipeline","value":"text-generation"},{"id":"library","label":"Library","value":"transformers"},{"id":"task-categories","label":"Task categories","value":"text-generation"},{"id":"languages","label":"Languages","value":"en"},{"id":"datasets","label":"Referenced datasets","value":"lm-provers/FineProofs-RL"},{"id":"papers","label":"Paper ids","value":"2602.03773"},{"id":"file-hints","label":"File hints","value":"16 upstream file samples"}]},"runtimeFit":{"level":"unknown","hardware":"","sizeLabel":"unknown","runners":[],"runtimeFiles":[],"warnings":[]},"updatedAt":"2026-09-02T23:57:48.735Z","createdAt":"2026-06-30T02:35:41.201Z","metrics":{"downloads":153,"stars":89,"citations":0,"mirrorDemand":0},"hosting":{"status":"unknown","hostedFiles":null,"externalFiles":20,"totalFiles":20,"fileInventoryAvailable":false,"completeRunnable":false,"verified":false,"downloadStatus":"blocked","sha256Files":0,"byteVerifiedAt":null,"hosted":null,"downloadReady":null,"mirroredFiles":null,"mirroredBytes":null,"runReady":false},"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."},"quality":{"score":96,"items":[{"id":"summary","label":"Summary","status":"passed"},{"id":"description","label":"Description","status":"passed"},{"id":"card-metadata","label":"Model card metadata","status":"passed"},{"id":"license","label":"License","status":"passed"},{"id":"provenance","label":"Provenance","status":"passed"},{"id":"files","label":"File inventory","status":"passed"},{"id":"hosted","label":"Hosted bytes","status":"passed"},{"id":"scan","label":"Scan result","status":"passed"},{"id":"signature","label":"Manifest signature","status":"pending"}]},"signals":{"size":{"known":true,"bytes":8061868927,"label":"7.5 GB","reason":""},"demand":{"mirrorRequests":0,"upstreamDownloads":153,"upstreamStars":89,"label":"153 upstream downloads","basis":"upstream-downloads"},"trust":{"score":0,"level":"metadata-checked","label":"Unknown","trustImpact":"none","checks":[{"id":"license","label":"License","status":"pass","detail":"apache-2.0"},{"id":"provenance","label":"Provenance","status":"pass","detail":"lm-provers/QED-Nano"},{"id":"scan","label":"Scan","status":"pass","detail":"passed"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"external metadata only"},{"id":"manifest","label":"Byte manifest integrity","status":"warn","detail":"not final yet"}],"strengths":["License: apache-2.0","Provenance: lm-provers/QED-Nano","Scan: passed"],"gaps":["Hosted files: external metadata only","Byte manifest integrity: not final yet"]},"readiness":{"score":0,"level":"unknown","hostedFinal":false,"hostedFiles":null,"externalFiles":null,"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-lm-provers-qed-nano/mirrors"}},"readiness":"unknown","downloadReady":null,"hostedFileCount":null,"mirroredBytes":null,"readinessCheckedAt":null,"readinessSource":"unavailable","degraded":true,"stale":true,"hosted":null,"hostingStatus":"unknown","publicDownloadableFileCount":null},"previewableFiles":[],"actions":{"web":"https://huggingbay.xyz/artifact/hf-model-lm-provers-qed-nano","files":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/files?limit=100","metadata":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/metadata.json","distribution":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/distribution","compare":"https://huggingbay.xyz/api/compare?ids=hf-model-lm-provers-qed-nano","manifest":null,"downloadRows":null,"downloadPlan":null,"requestMirror":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/mirror-request","requestDecentralizedFallback":"https://huggingbay.xyz/api/artifacts/hf-model-lm-provers-qed-nano/decentralized-fallbacks","upstream":"https://huggingface.co/lm-provers/QED-Nano"},"readiness":"unknown","downloadReady":null,"hostedFileCount":null,"mirroredBytes":null,"readinessCheckedAt":null,"readinessSource":"unavailable","degraded":true,"stale":true,"hosted":null,"hostingStatus":"unknown","publicDownloadableFileCount":null,"reason":"Download availability is being checked.","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."}}