{"schemaVersion":"hugging-bay.publisher-profile.v1","generatedAt":"2026-10-30T15:19:35.120Z","namespace":"Goedel-LM","displayName":"Goedel-LM","claimed":false,"applicationStatus":null,"stats":{"artifacts":2,"publicArtifacts":2,"gatedArtifacts":0,"hostedArtifacts":0,"hostedFiles":0,"externalFiles":40,"totalFiles":40,"downloads":11042,"stars":80,"updatedAt":"2026-09-21T09:05:38.201Z","reviewQualification":"self-reported-unqualified","reviewTrustImpact":"none"},"topArtifact":{"readiness":"unknown","downloadReady":null,"downloadable":null,"downloadStatus":"UNKNOWN","hostedFileCount":21,"mirroredBytes":65535821526,"readinessCheckedAt":"2026-10-30T12:40:00.994Z","readinessSource":"file-check","degraded":true,"stale":true,"serveExplanation":{"readiness":"unknown","downloadReady":null,"downloadable":null,"downloadStatus":"UNKNOWN","hostedFileCount":21,"mirroredBytes":65535821526,"readinessCheckedAt":"2026-10-30T12:40:00.994Z","readinessSource":"file-check","degraded":true,"stale":true},"id":"hf-model-goedel-lm-goedel-prover-v2-32b","owner":"Goedel-LM","name":"Goedel-Prover-V2-32B","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · 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":"tags","value":"conversational"},{"field":"task","value":"text-generation"},{"field":"cardMetadata.pipelineTag","value":"text-generation"}],"caveats":["check-license-terms","repository-bytes-are-not-memory-needs"],"facts":{"license":{"id":"apache-2.0","status":"recorded"},"lineage":[],"parameters":null,"size":{"bytes":65540282210,"scope":"repository","field":"sizeBytes"},"form":"unspecified","runs":[]}},"publisher":"Goedel-LM","sourceUrl":"https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B","license":"apache-2.0","licenseState":"known","licenseLabel":"apache-2.0","visibility":"public","verificationStatus":"unknown","scanStatus":"passed","cardCompleteness":89,"tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","arxiv:2508.03613","base_model:qwen/qwen3-32b","base_model:finetune:qwen/qwen3-32b","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm"],"task":"text-generation","modality":"text","framework":"transformers","formats":["gitattributes","md","json","txt","safetensors"],"baseModel":null,"derivedFrom":null,"cardMetadata":{"source":"huggingface-cardData","license":"apache-2.0","metrics":[],"datasets":[],"paperIds":["2508.03613"],"repoType":"model","baseModel":"","languages":[],"sourceUrl":"https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B","evalResults":[],"libraryName":"transformers","pipelineTag":"text-generation","cardDataKeys":["base_model","library_name","license","pipeline_tag"],"semanticText":"text-generation transformers llm model safetensors","semanticTerms":["text-generation","transformers","llm","model","safetensors"],"siblingSample":[{"lfs":false,"path":".gitattributes","sizeBytes":1570},{"lfs":false,"path":"README.md","sizeBytes":10428},{"lfs":false,"path":"added_tokens.json","sizeBytes":707},{"lfs":false,"path":"config.json","sizeBytes":730},{"lfs":false,"path":"generation_config.json","sizeBytes":143},{"lfs":false,"path":"merges.txt","sizeBytes":1671853},{"lfs":true,"path":"model-00001-of-00014.safetensors","sizeBytes":4932307584},{"lfs":true,"path":"model-00002-of-00014.safetensors","sizeBytes":4875989696},{"lfs":true,"path":"model-00003-of-00014.safetensors","sizeBytes":4875989720},{"lfs":true,"path":"model-00004-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00005-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00006-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00007-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00008-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00009-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00010-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00011-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00012-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00013-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00014-of-00014.safetensors","sizeBytes":2080144040},{"lfs":false,"path":"model.safetensors.index.json","sizeBytes":58330},{"lfs":false,"path":"special_tokens_map.json","sizeBytes":613},{"lfs":true,"path":"tokenizer.json","sizeBytes":11422654},{"lfs":false,"path":"tokenizer_config.json","sizeBytes":9789}],"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":65540282210,"sizeKnown":true,"sizeLabel":"61.0 GB","sizeReason":"","declaredSizeBytes":65540282210,"defaultDownloadBytes":null,"mirrorCount":1,"downloadCount":10587,"stars":74,"citations":0,"updatedAt":"2026-09-21T09:05:38.201Z","createdAt":"2026-06-29T22:26:13.806Z","version":"hf-main","upstream":{"gated":false,"repoId":"Goedel-LM/Goedel-Prover-V2-32B","private":false,"repoUrl":"https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B","disabled":false,"provider":"huggingface","repoType":"model","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","fetchedAt":"2026-09-21T07:44:51.115Z","importMode":"external-catalog","licenseRaw":"apache-2.0","licenseDeclared":"apache-2.0","mirrorLicensePolicy":"permissive"},"hosting":{"status":"hosted","mirroredAt":"2026-09-21T09:05:38.201Z","mirroredBy":"mirror-batch-worker","totalFiles":25,"hostedFiles":21,"mirroredBytes":65535821526,"mirroredFiles":21,"storageProvider":"gcs","hosted":true,"downloadable":null,"verified":false,"completeRunnable":false,"runReady":false,"refreshedAt":null,"stale":false,"downloadReady":null},"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":25,"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":25,"publicDownloadableFileCount":21,"externalFileCount":25,"servingCountsRefreshedAt":null,"servingCountsStale":false,"signals":{"size":{"known":true,"bytes":65540282210,"label":"61.0 GB","reason":""},"demand":{"mirrorRequests":0,"upstreamDownloads":10587,"upstreamStars":74,"label":"11K 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":"Goedel-LM/Goedel-Prover-V2-32B"},{"id":"scan","label":"Scan","status":"pass","detail":"passed"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"21/25 repository files hosted; selected representation evaluated separately"},{"id":"manifest","label":"Byte manifest integrity","status":"pass","detail":"selected representation is unknown; per-file SHA-256 published (cryptographic signing pending)"}],"strengths":["License: apache-2.0","Provenance: Goedel-LM/Goedel-Prover-V2-32B","Scan: passed","Byte manifest integrity: selected representation is unknown; per-file SHA-256 published (cryptographic signing pending)"],"gaps":["Hosted files: 21/25 repository files hosted; selected representation evaluated separately"]},"readiness":{"score":0,"level":"unknown","hostedFinal":true,"hostedFiles":21,"externalFiles":4,"totalFiles":25},"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-goedel-lm-goedel-prover-v2-32b/mirrors"}},"sampleFiles":[{"path":".gitattributes","sizeBytes":1570,"format":"gitattributes","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"},{"path":"README.md","sizeBytes":10428,"format":"md","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"}],"contentControls":{"state":"not assessed","basis":"no_explicit_uploader_evidence","matchedTerms":[],"assessedAt":null},"contentControlsLabel":"Content controls: not assessed.","contentControlsAttribution":{"upstream":{"provider":"huggingface","repoId":"Goedel-LM/Goedel-Prover-V2-32B"}},"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"unsigned","freshness":"stale","checked_at":"2026-10-30T12:40:00.994Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"lastKnownAnswer":"Ready to download"},"topTypes":[{"type":"llm","count":2}],"topLicenses":[{"license":"apache-2.0","count":2}],"sourceCounts":[{"source":"huggingface","count":2}],"worksWith":[],"links":{"web":"https://huggingbay.xyz/publishers/Goedel-LM","api":"https://huggingbay.xyz/api/publishers/Goedel-LM","artifacts":"https://huggingbay.xyz/api/artifacts?summary=1&owner=Goedel-LM&limit=50","apply":"https://huggingbay.xyz/publishers/apply"},"artifacts":[{"readiness":"unknown","downloadReady":null,"downloadable":null,"downloadStatus":"UNKNOWN","hostedFileCount":21,"mirroredBytes":65535821526,"readinessCheckedAt":"2026-10-30T12:40:00.994Z","readinessSource":"file-check","degraded":true,"stale":true,"serveExplanation":{"readiness":"unknown","downloadReady":null,"downloadable":null,"downloadStatus":"UNKNOWN","hostedFileCount":21,"mirroredBytes":65535821526,"readinessCheckedAt":"2026-10-30T12:40:00.994Z","readinessSource":"file-check","degraded":true,"stale":true},"id":"hf-model-goedel-lm-goedel-prover-v2-32b","owner":"Goedel-LM","name":"Goedel-Prover-V2-32B","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · 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":"tags","value":"conversational"},{"field":"task","value":"text-generation"},{"field":"cardMetadata.pipelineTag","value":"text-generation"}],"caveats":["check-license-terms","repository-bytes-are-not-memory-needs"],"facts":{"license":{"id":"apache-2.0","status":"recorded"},"lineage":[],"parameters":null,"size":{"bytes":65540282210,"scope":"repository","field":"sizeBytes"},"form":"unspecified","runs":[]}},"publisher":"Goedel-LM","sourceUrl":"https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B","license":"apache-2.0","licenseState":"known","licenseLabel":"apache-2.0","visibility":"public","verificationStatus":"unknown","scanStatus":"passed","cardCompleteness":89,"tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","conversational","arxiv:2508.03613","base_model:qwen/qwen3-32b","base_model:finetune:qwen/qwen3-32b","license:apache-2.0","text-generation-inference","endpoints_compatible","deploy:azure","region:us","llm"],"task":"text-generation","modality":"text","framework":"transformers","formats":["gitattributes","md","json","txt","safetensors"],"baseModel":null,"derivedFrom":null,"cardMetadata":{"source":"huggingface-cardData","license":"apache-2.0","metrics":[],"datasets":[],"paperIds":["2508.03613"],"repoType":"model","baseModel":"","languages":[],"sourceUrl":"https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B","evalResults":[],"libraryName":"transformers","pipelineTag":"text-generation","cardDataKeys":["base_model","library_name","license","pipeline_tag"],"semanticText":"text-generation transformers llm model safetensors","semanticTerms":["text-generation","transformers","llm","model","safetensors"],"siblingSample":[{"lfs":false,"path":".gitattributes","sizeBytes":1570},{"lfs":false,"path":"README.md","sizeBytes":10428},{"lfs":false,"path":"added_tokens.json","sizeBytes":707},{"lfs":false,"path":"config.json","sizeBytes":730},{"lfs":false,"path":"generation_config.json","sizeBytes":143},{"lfs":false,"path":"merges.txt","sizeBytes":1671853},{"lfs":true,"path":"model-00001-of-00014.safetensors","sizeBytes":4932307584},{"lfs":true,"path":"model-00002-of-00014.safetensors","sizeBytes":4875989696},{"lfs":true,"path":"model-00003-of-00014.safetensors","sizeBytes":4875989720},{"lfs":true,"path":"model-00004-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00005-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00006-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00007-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00008-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00009-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00010-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00011-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00012-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00013-of-00014.safetensors","sizeBytes":4875989752},{"lfs":true,"path":"model-00014-of-00014.safetensors","sizeBytes":2080144040},{"lfs":false,"path":"model.safetensors.index.json","sizeBytes":58330},{"lfs":false,"path":"special_tokens_map.json","sizeBytes":613},{"lfs":true,"path":"tokenizer.json","sizeBytes":11422654},{"lfs":false,"path":"tokenizer_config.json","sizeBytes":9789}],"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":65540282210,"sizeKnown":true,"sizeLabel":"61.0 GB","sizeReason":"","declaredSizeBytes":65540282210,"defaultDownloadBytes":null,"mirrorCount":1,"downloadCount":10587,"stars":74,"citations":0,"updatedAt":"2026-09-21T09:05:38.201Z","createdAt":"2026-06-29T22:26:13.806Z","version":"hf-main","upstream":{"gated":false,"repoId":"Goedel-LM/Goedel-Prover-V2-32B","private":false,"repoUrl":"https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B","disabled":false,"provider":"huggingface","repoType":"model","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","fetchedAt":"2026-09-21T07:44:51.115Z","importMode":"external-catalog","licenseRaw":"apache-2.0","licenseDeclared":"apache-2.0","mirrorLicensePolicy":"permissive"},"hosting":{"status":"hosted","mirroredAt":"2026-09-21T09:05:38.201Z","mirroredBy":"mirror-batch-worker","totalFiles":25,"hostedFiles":21,"mirroredBytes":65535821526,"mirroredFiles":21,"storageProvider":"gcs","hosted":true,"downloadable":null,"verified":false,"completeRunnable":false,"runReady":false,"refreshedAt":null,"stale":false,"downloadReady":null},"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":25,"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":25,"publicDownloadableFileCount":21,"externalFileCount":25,"servingCountsRefreshedAt":null,"servingCountsStale":false,"signals":{"size":{"known":true,"bytes":65540282210,"label":"61.0 GB","reason":""},"demand":{"mirrorRequests":0,"upstreamDownloads":10587,"upstreamStars":74,"label":"11K 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":"Goedel-LM/Goedel-Prover-V2-32B"},{"id":"scan","label":"Scan","status":"pass","detail":"passed"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"21/25 repository files hosted; selected representation evaluated separately"},{"id":"manifest","label":"Byte manifest integrity","status":"pass","detail":"selected representation is unknown; per-file SHA-256 published (cryptographic signing pending)"}],"strengths":["License: apache-2.0","Provenance: Goedel-LM/Goedel-Prover-V2-32B","Scan: passed","Byte manifest integrity: selected representation is unknown; per-file SHA-256 published (cryptographic signing pending)"],"gaps":["Hosted files: 21/25 repository files hosted; selected representation evaluated separately"]},"readiness":{"score":0,"level":"unknown","hostedFinal":true,"hostedFiles":21,"externalFiles":4,"totalFiles":25},"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-goedel-lm-goedel-prover-v2-32b/mirrors"}},"sampleFiles":[{"path":".gitattributes","sizeBytes":1570,"format":"gitattributes","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"},{"path":"README.md","sizeBytes":10428,"format":"md","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"}],"contentControls":{"state":"not assessed","basis":"no_explicit_uploader_evidence","matchedTerms":[],"assessedAt":null},"contentControlsLabel":"Content controls: not assessed.","contentControlsAttribution":{"upstream":{"provider":"huggingface","repoId":"Goedel-LM/Goedel-Prover-V2-32B"}},"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"unsigned","freshness":"stale","checked_at":"2026-10-30T12:40:00.994Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"lastKnownAnswer":"Ready to download"},{"readiness":"unknown","downloadReady":null,"downloadable":null,"downloadStatus":"UNKNOWN","hostedFileCount":14,"mirroredBytes":16397435530,"readinessCheckedAt":"2026-10-30T11:23:53.432Z","readinessSource":"file-check","degraded":true,"stale":true,"serveExplanation":{"readiness":"unknown","downloadReady":null,"downloadable":null,"downloadStatus":"UNKNOWN","hostedFileCount":14,"mirroredBytes":16397435530,"readinessCheckedAt":"2026-10-30T11:23:53.432Z","readinessSource":"file-check","degraded":true,"stale":true},"id":"hf-model-goedel-lm-goedel-formalizer-v2-8b","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","cardDescription":"An AI model with files and technical details to explore.","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":[],"evidence":[{"field":"license","value":"apache-2.0"},{"field":"cardMetadata.license","value":"apache-2.0"}],"caveats":["check-license-terms","repository-bytes-are-not-memory-needs","insufficient-task-evidence"],"facts":{"license":{"id":"apache-2.0","status":"recorded"},"lineage":[],"parameters":null,"size":{"bytes":16397437100,"scope":"repository","field":"sizeBytes"},"form":"unspecified","runs":[]}},"publisher":"Goedel-LM","sourceUrl":"https://huggingface.co/Goedel-LM/Goedel-Formalizer-V2-8B","license":"apache-2.0","licenseState":"known","licenseLabel":"apache-2.0","visibility":"public","verificationStatus":"unknown","scanStatus":"passed","cardCompleteness":84,"tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"task":"general","modality":"text","framework":"unknown","formats":["gitattributes","md","json","txt","safetensors"],"baseModel":null,"derivedFrom":null,"cardMetadata":{"source":"huggingface-cardData","license":"apache-2.0","metrics":[],"datasets":[],"paperIds":[],"repoType":"model","baseModel":"","languages":[],"sourceUrl":"https://huggingface.co/Goedel-LM/Goedel-Formalizer-V2-8B","evalResults":[],"libraryName":"unknown","pipelineTag":"","cardDataKeys":["base_model","license"],"semanticText":"unknown llm model safetensors","semanticTerms":["unknown","llm","model","safetensors"],"siblingSample":[{"lfs":false,"path":".gitattributes","sizeBytes":1570},{"lfs":false,"path":"README.md","sizeBytes":2435},{"lfs":false,"path":"added_tokens.json","sizeBytes":707},{"lfs":false,"path":"config.json","sizeBytes":730},{"lfs":false,"path":"generation_config.json","sizeBytes":214},{"lfs":false,"path":"merges.txt","sizeBytes":1671853},{"lfs":true,"path":"model-00001-of-00004.safetensors","sizeBytes":4902257696},{"lfs":true,"path":"model-00002-of-00004.safetensors","sizeBytes":4915960368},{"lfs":true,"path":"model-00003-of-00004.safetensors","sizeBytes":4983068496},{"lfs":true,"path":"model-00004-of-00004.safetensors","sizeBytes":1580230264},{"lfs":false,"path":"model.safetensors.index.json","sizeBytes":32878},{"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":16397437100,"sizeKnown":true,"sizeLabel":"15.3 GB","sizeReason":"","declaredSizeBytes":16397437100,"defaultDownloadBytes":null,"mirrorCount":1,"downloadCount":455,"stars":6,"citations":0,"updatedAt":"2026-09-06T01:40:40.367Z","createdAt":"2026-06-30T02:21:26.254Z","version":"hf-main","upstream":{"gated":false,"repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","private":false,"repoUrl":"https://huggingface.co/Goedel-LM/Goedel-Formalizer-V2-8B","disabled":false,"provider":"huggingface","repoType":"model","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","fetchedAt":"2026-08-30T02:17:40.000Z","importMode":"external-catalog","licenseRaw":"apache-2.0"},"hosting":{"status":"hosted","mirroredAt":"2026-09-06T01:40:40.367Z","mirroredBy":"mirror-batch-worker","totalFiles":15,"hostedFiles":14,"mirroredBytes":16397435530,"mirroredFiles":14,"storageProvider":"gcs","hosted":true,"downloadable":null,"verified":false,"completeRunnable":false,"runReady":false,"refreshedAt":null,"stale":false,"downloadReady":null},"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":15,"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":15,"publicDownloadableFileCount":14,"externalFileCount":15,"servingCountsRefreshedAt":null,"servingCountsStale":false,"signals":{"size":{"known":true,"bytes":16397437100,"label":"15.3 GB","reason":""},"demand":{"mirrorRequests":0,"upstreamDownloads":455,"upstreamStars":6,"label":"455 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":"Goedel-LM/Goedel-Formalizer-V2-8B"},{"id":"scan","label":"Scan","status":"pass","detail":"passed"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"14/15 repository files hosted; selected representation evaluated separately"},{"id":"manifest","label":"Byte manifest integrity","status":"pass","detail":"selected representation is unknown; per-file SHA-256 published (cryptographic signing pending)"}],"strengths":["License: apache-2.0","Provenance: Goedel-LM/Goedel-Formalizer-V2-8B","Scan: passed","Byte manifest integrity: selected representation is unknown; per-file SHA-256 published (cryptographic signing pending)"],"gaps":["Hosted files: 14/15 repository files hosted; selected representation evaluated separately"]},"readiness":{"score":0,"level":"unknown","hostedFinal":true,"hostedFiles":14,"externalFiles":1,"totalFiles":15},"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-goedel-lm-goedel-formalizer-v2-8b/mirrors"}},"sampleFiles":[{"path":".gitattributes","sizeBytes":1570,"format":"gitattributes","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"}],"contentControls":{"state":"not assessed","basis":"no_explicit_uploader_evidence","matchedTerms":[],"assessedAt":null},"contentControlsLabel":"Content controls: not assessed.","contentControlsAttribution":{"upstream":{"provider":"huggingface","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B"}},"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"unsigned","freshness":"stale","checked_at":"2026-10-30T11:23:53.432Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"lastKnownAnswer":"Ready to download"}],"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."}}