{"id":"hf-model-thuraaung1601-qwen2-5-coder-0-5b-instruct-reform-dafny-multitask6-aug-combine-sftall-sft","name":"Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT","tags":["huggingface-import","external-catalog","model","cc-by-nc-4.0","peft","safetensors","dafny","formal-verification","loop-invariants","lora","dataset:thuraaung1601/reform-dafny-multitask","base_model:qwen/qwen2.5-coder-0.5b-instruct","base_model:adapter:qwen/qwen2.5-coder-0.5b-instruct","license:cc-by-nc-4.0","region:us","llm","thuraaung1601/reform-dafny-multitask","qwen/qwen2.5-coder-0.5b-instruct"],"task":"general","type":"llm","evals":[],"owner":"ThuraAung1601","stars":0,"formats":["gitattributes","md","json","safetensors","jinja","bin"],"hosting":{"status":"blocked","storageProvider":"local","hostedFiles":0,"totalFiles":0,"hostedFilesAuthority":"live-serve-decision","hosted":false,"downloadable":false,"readyFileCount":0,"serveAuthority":"live-serve-decision","completeRunnable":false,"authority":"postgres-executable-state-snapshot","authorityDigest":null,"downloadReady":false,"mirroredFiles":0,"mirroredBytes":0,"runReady":false,"verified":false},"license":"cc-by-nc-4.0","summary":"Model from Hugging Face for llm: ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT · peft","version":"hf-main","modality":"text","upstream":{"gated":true,"repoId":"ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT","private":false,"repoUrl":"https://huggingface.co/ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT","disabled":false,"provider":"huggingface","repoType":"model","revision":"90719b36b5d29a67844c4d88275cb96fe10186b3","fetchedAt":"2026-10-30T03:49:17.358Z","importMode":"external-catalog","licenseRaw":"cc-by-nc-4.0","licenseDeclared":"cc-by-nc-4.0","mirrorLicensePolicy":"permissive"},"versions":[{"commit":"90719b3","version":"hf-main","releasedAt":"2026-10-30T02:35:34.000Z","scanStatus":"pending","manifestDigest":"external-not-mirrored"}],"baseModel":"Qwen/Qwen2.5-Coder-0.5B-Instruct","citations":0,"createdAt":"2026-10-30T03:49:21.866Z","fileCount":0,"framework":"peft","publisher":"ThuraAung1601","sizeBytes":0,"sourceUrl":"https://huggingface.co/ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT","updatedAt":"2026-10-30T02:35:34.000Z","scanStatus":"pending","visibility":"public","derivedFrom":"Qwen/Qwen2.5-Coder-0.5B-Instruct","description":"External Hugging Face catalog record for ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT. Library: peft. Datasets referenced by card metadata: ThuraAung1601/reform-dafny-multitask. Base model: Qwen/Qwen2.5-Coder-0.5B-Instruct. Files we host have a published SHA-256.","mirrorCount":0,"safetyNotes":["External catalog metadata imported from Hugging Face public API on 2026-10-30T03:49:21.866Z.","Upstream License: cc-by-nc-4.0. Mirror admission policy: permissive (owner policy; no license rights inferred).","Model card references dataset context: ThuraAung1601/reform-dafny-multitask.","Not locally hosted, mirrored, signed, or rescanned by Hugging Bay."],"cardMetadata":{"source":"huggingface-cardData","license":"cc-by-nc-4.0","metrics":[],"datasets":["ThuraAung1601/reform-dafny-multitask"],"paperIds":[],"repoType":"model","baseModel":"Qwen/Qwen2.5-Coder-0.5B-Instruct","languages":[],"sourceUrl":"https://huggingface.co/ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT","evalResults":[],"libraryName":"peft","licenseLink":"","licenseName":"","pipelineTag":"","cardDataKeys":["base_model","datasets","library_name","license","tags"],"semanticText":"peft llm model thuraaung1601/reform-dafny-multitask qwen/qwen2.5-coder-0.5b-instruct safetensors base_model:qwen/qwen2.5-coder-0.5b-instruct base_model:adapter:qwen/qwen2.5-coder-0.5b-instruct","semanticTerms":["peft","llm","model","thuraaung1601/reform-dafny-multitask","qwen/qwen2.5-coder-0.5b-instruct","safetensors","base_model:qwen/qwen2.5-coder-0.5b-instruct","base_model:adapter:qwen/qwen2.5-coder-0.5b-instruct"],"siblingSample":[{"lfs":false,"path":".gitattributes","sizeBytes":0},{"lfs":false,"path":"README.md","sizeBytes":0},{"lfs":false,"path":"adapter_config.json","sizeBytes":0},{"lfs":false,"path":"adapter_model.safetensors","sizeBytes":0},{"lfs":false,"path":"chat_template.jinja","sizeBytes":0},{"lfs":false,"path":"tokenizer.json","sizeBytes":0},{"lfs":false,"path":"tokenizer_config.json","sizeBytes":0},{"lfs":false,"path":"training_args.bin","sizeBytes":0}],"modelIndexNames":[]},"releaseGates":{"scan":"pending","files":"pending","license":"passed","metadata":"passed","signature":"pending","provenance":"passed"},"downloadCount":0,"hostedFileCount":0,"cardCompleteness":88,"externalFileCount":0,"verificationStatus":"pending","requestedVisibility":"public","repo":"ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT","files":[],"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":[]},"publicDownloadableFileCount":0,"publicFileCount":0,"displayOnly":true,"authorizationRequired":true,"eligibilitySnapshotAt":"2026-11-04T02:19:19.246Z","listedFileLowerBound":0,"hostingStatus":"blocked","signals":{"size":{"known":false,"bytes":0,"label":"unknown","reason":"upstream file sizes are not indexed yet"},"demand":{"mirrorRequests":0,"upstreamDownloads":0,"upstreamStars":0,"label":"no demand yet","basis":"none"},"trust":{"score":0,"level":"unknown","label":"Unknown","qualification":"recorded-state-unknown","trustImpact":"none","checks":[{"id":"license","label":"License","status":"fail","detail":"cc-by-nc-4.0"},{"id":"provenance","label":"Provenance","status":"pass","detail":"ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT"},{"id":"scan","label":"Scan","status":"warn","detail":"pending"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"external metadata only"},{"id":"manifest","label":"Byte manifest integrity","status":"warn","detail":"not final yet"}],"strengths":["Provenance: ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT"],"gaps":["License: cc-by-nc-4.0","Scan: pending","Hosted files: external metadata only","Byte manifest integrity: not final yet"]},"readiness":{"score":0,"level":"unknown","hostedFinal":false,"hostedFiles":0,"externalFiles":0,"totalFiles":0},"action":{"id":"open-source","label":"Open official source","detail":"Use the official immutable source while Hugging Bay evidence remains incomplete.","href":"https://huggingface.co/ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT"}},"mirrorCompletion":{"status":"external","hostedFiles":0,"totalFiles":0,"externalFiles":0,"hostedBytes":0,"externalBytes":0,"lowRiskExternalFiles":0,"overFileCapFiles":0,"overBatchCapFiles":0,"directMirrorExternalFiles":0,"directMirrorExternalBytes":0,"currentLimits":{"maxMirrorFileBytes":536870912,"maxMirrorTotalBytes":1073741824,"maxMirrorFiles":8,"maxDirectMirrorFileBytes":8589934592,"maxDirectMirrorTotalBytes":17179869184},"directMirrorExternalSamples":[],"largestExternalFiles":[]},"cardDescription":"An AI model with files and technical details to explore.","licenseLabel":"cc-by-nc-4.0","recommendedFile":null,"torrent":null,"torrentUrl":null,"magnetUri":null,"downloadUrl":null,"landingUrl":null,"manifestUrl":null,"localKitUrl":null,"licenseClarity":{"license":"cc-by-nc-4.0","commercialUse":"no","confidence":"high","obligations":["Credit the creator, retain the copyright and license notice, link the license, and indicate whether changes were made.","Commercial use is prohibited; exercise the licensed rights only for non-commercial purposes."],"summary":"cc-by-nc-4.0: commercial use is not permitted; non-commercial use and adaptations require attribution.","redistribution":"Credit the creator, retain the copyright and license notice, link the license, and indicate whether changes were made. Commercial use is prohibited; exercise the licensed rights only for non-commercial purposes.","notes":"Not legal advice."},"licenseObligationsDigest":null,"licenseUpstreamRecord":{"declaredLicense":"cc-by-nc-4.0","upstreamLicenseRaw":"cc-by-nc-4.0","sourceUrl":"https://huggingface.co/ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT","upstream":{"gated":true,"repoId":"ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT","private":false,"repoUrl":"https://huggingface.co/ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT","disabled":false,"provider":"huggingface","repoType":"model","revision":"90719b36b5d29a67844c4d88275cb96fe10186b3","fetchedAt":"2026-10-30T03:49:17.358Z","importMode":"external-catalog","licenseRaw":"cc-by-nc-4.0","licenseDeclared":"cc-by-nc-4.0","mirrorLicensePolicy":"permissive"}},"gateStatus":"gated","downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["incomplete-manifest","no-tested-run-plan","unverified-bytes"],"reason":"Files withheld — not faked. This model is listed, but we haven't confirmed its download files, so no download URLs are published. What's missing: file manifest — not final; downloadable files — 0 confirmed; run plan — not tested.","serveEvaluatedAt":"2026-11-04T02:20:10.456Z","serveEvaluationId":"serve-469a13991181c49637d94ecbb24a6be99c9a4f4de0c7e7e88f49ca9b7ab3b159","readiness":"blocked","downloadReady":false,"mirroredBytes":0,"readinessCheckedAt":"2026-11-04T02:20:10.599Z","readinessSource":"file-check","serveExplanation":{"downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["incomplete-manifest","no-tested-run-plan","unverified-bytes"],"reason":"Files withheld — not faked. This model is listed, but we haven't confirmed its download files, so no download URLs are published. What's missing: file manifest — not final; downloadable files — 0 confirmed; run plan — not tested.","serveEvaluatedAt":"2026-11-04T02:20:10.456Z","serveEvaluationId":"serve-469a13991181c49637d94ecbb24a6be99c9a4f4de0c7e7e88f49ca9b7ab3b159","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-11-04T02:20:10.456Z","readinessSource":"file-check","degraded":false,"stale":false},"commandsAvailable":false,"runReady":false,"attribution":"Cataloged open AI model · https://huggingbay.xyz/artifact/hf-model-thuraaung1601-qwen2-5-coder-0-5b-instruct-reform-dafny-multitask6-aug-combine-sftall-sft","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."},"hosted":false,"pageFacts":{"id":"hf-model-thuraaung1601-qwen2-5-coder-0-5b-instruct-reform-dafny-multitask6-aug-combine-sftall-sft","repo":"ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT","type":"llm","purpose":"open-weights language model for general","license":{"id":"cc-by-nc-4.0","label":"cc-by-nc-4.0","state":"known","url":"https://spdx.org/licenses/CC-by-nc-4.0.html","source":"spdx","hostedFile":false,"commercialUse":"no","terms":"cc-by-nc-4.0: commercial use is not permitted; non-commercial use and adaptations require attribution."},"task":{"id":"general","label":"general"},"size":{"bytes":0,"label":"unknown","known":false,"repositoryLabel":"Full repo upstream","hostedKnown":false,"hostedBytes":0,"hostedLabel":"size unknown","hostedSummary":"availability unknown","hostedIsSubset":false,"downloadBytes":0,"downloadLabel":"","recommended":null,"parameters":{"totalB":0.5,"activeB":null,"label":"500M","activeLabel":"","source":"repo-name"},"sentence":"ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT has 500M parameters. Hosted here: availability unknown. The full repository size is not recorded."},"files":{"hosted":0,"total":0,"label":"0 hosted of 0 listed"},"download":{"status":"blocked","gated":"serve","label":"Downloadable files: 0 confirmed","url":""},"released":{"iso":"2026-10-30","label":"Oct 30, 2026","upstream":false,"factLabel":"Added to Hugging Bay"},"updated":{"iso":"2026-10-30","label":"Oct 30, 2026","factLabel":"Updated at source"},"source":{"provider":"huggingface","label":"Hugging Face","url":"https://huggingface.co/ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT","repoId":"ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT"},"languages":[],"baseModel":{"ref":"Qwen/Qwen2.5-Coder-0.5B-Instruct","url":"https://huggingface.co/Qwen/Qwen2.5-Coder-0.5B-Instruct","resolveUrl":"/resolve?q=Qwen%2FQwen2.5-Coder-0.5B-Instruct"},"paperIds":[],"arxivIds":[],"sameAs":["https://huggingface.co/ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT"],"creator":{"@type":"Organization","name":"ThuraAung1601","url":"https://huggingface.co/ThuraAung1601","sameAs":["https://huggingface.co/ThuraAung1601"]},"scholarlyArticles":[],"scanStatus":"pending","faq":[{"id":"what-is-it","question":"What is ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT?","answer":"ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT is an open-weights language model for general published by ThuraAung1601, added to Hugging Bay Oct 30, 2026. Model from Hugging Face for llm: ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT · peft"},{"id":"license","question":"What license does ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT use, and can I use it commercially?","answer":"It is released under the cc-by-nc-4.0 license. Commercial use is not allowed. cc-by-nc-4.0: commercial use is not permitted; non-commercial use and adaptations require attribution."},{"id":"size","question":"How big is ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT?","answer":"ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT has 500M parameters. Hosted here: availability unknown. The full repository size is not recorded."},{"id":"download","question":"Where can I download ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT?","answer":"This model is listed, but we haven't confirmed its download files, so we won't offer a download button we can't stand behind. The record lists 0 files."},{"id":"safety","question":"Has ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT been scanned for unsafe files?","answer":"Source scan status: pending. A scan checks the files for known-bad signatures; it does not mean the model is safe. The machine-readable verdict is at /api/artifacts/hf-model-thuraaung1601-qwen2-5-coder-0-5b-instruct-reform-dafny-multitask6-aug-combine-sftall-sft/safety on Hugging Bay."},{"id":"fit-unknown","question":"Will ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT 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."}],"modelAnswer":null,"modelRecipeReceipt":null},"guidedDownloadCard":{"schemaVersion":"hugging-bay.guided-download-card/v2","artifactId":"hf-model-thuraaung1601-qwen2-5-coder-0-5b-instruct-reform-dafny-multitask6-aug-combine-sftall-sft","repo":"ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT","serveState":"BLOCKED","downloadReady":false,"reasonCodes":["manifest_not_final","files_unconfirmed","run_plan_untested"],"withheld":{"active":true,"reasonCodes":["manifest_not_final","files_unconfirmed","run_plan_untested"]},"wasmRun":null,"bytesOnStorage":false,"file":null,"noHostedWeights":true,"notSingleFile":false,"download":{"available":false,"url":null},"otherFiles":[],"run":{"available":false,"reason":"license-gated","lmStudioUrl":"https://lmstudio.ai/","terminalCommand":null,"verificationMessage":null},"paused":{"active":false},"blocked":{"active":true,"reason":"page-facts-not-hosted","message":"Files withheld — not faked."},"unconfirmed":{"active":false},"licenseGate":{"active":false},"checks":{"license":null,"licenseLabel":null,"fingerprintMatches":false,"hostedFiles":0,"totalFiles":0},"policyVersion":"hugging-bay.guided-download-card/v2","evaluatedAt":"2026-11-04T02:20:10.603Z","readiness":"blocked","downloadable":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-11-04T02:20:10.603Z","readinessSource":"file-check","degraded":false,"stale":false,"hosted":false,"hostingStatus":"blocked","publicDownloadableFileCount":0,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-11-04T02:20:10.603Z","evidence_url":"/api/manifests/hf-model-thuraaung1601-qwen2-5-coder-0-5b-instruct-reform-dafny-multitask6-aug-combine-sftall-sft"}},"canIRun":true,"modelSummary":{"schemaVersion":"hugging-bay.model-summary.v1","text":"The catalog does not give enough information to describe what this model is for.","confidence":"none","task":null,"audience":null,"basis":"insufficient-information","rules":["form:adapter"],"evidence":[{"field":"license","value":"cc-by-nc-4.0"},{"field":"cardMetadata.license","value":"cc-by-nc-4.0"},{"field":"baseModel","value":"Qwen/Qwen2.5-Coder-0.5B-Instruct"},{"field":"cardMetadata.siblingSample","value":"adapter_config.json"}],"caveats":["check-license-terms","base-model-capabilities-not-inherited","requires-compatible-base-model","insufficient-task-evidence"],"facts":{"license":{"id":"cc-by-nc-4.0","status":"recorded"},"lineage":[{"repo":"Qwen/Qwen2.5-Coder-0.5B-Instruct","field":"baseModel"}],"parameters":null,"size":null,"form":"adapter","runs":[]}},"runTested":false,"degraded":false,"stale":false,"contentControls":{"state":"not assessed","basis":"no_explicit_uploader_evidence","matchedTerms":[],"assessedAt":null},"contentControlsLabel":"Content controls: not assessed.","contentControlsAttribution":{"upstream":{"provider":"huggingface","repoId":"ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT"}},"runs_here":{"schema_version":1,"artifact_id":"hf-model-thuraaung1601-qwen2-5-coder-0-5b-instruct-reform-dafny-multitask6-aug-combine-sftall-sft","records":[],"next_cursor":null},"hardware_fit":{"schema":"hugging-bay.hardware-fit.v1","artifactId":"hf-model-thuraaung1601-qwen2-5-coder-0-5b-instruct-reform-dafny-multitask6-aug-combine-sftall-sft","revision":"90719b36b5d29a67844c4d88275cb96fe10186b3","claim":"estimated_physical_memory_capacity","runnableAuthority":false,"representations":[],"reason":"admitted_memory_inputs_unavailable"},"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":false},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-11-04T02:20:10.599Z","evidence_url":"/api/manifests/hf-model-thuraaung1601-qwen2-5-coder-0-5b-instruct-reform-dafny-multitask6-aug-combine-sftall-sft"}}