{"schemaVersion":"hugging-bay.artifact-distribution.v1","downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":15,"mirroredBytes":16393065748,"readinessCheckedAt":"2026-10-31T19:42:42.302Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":15,"mirroredBytes":16393065748,"readinessCheckedAt":"2026-10-31T19:42:42.176Z","readinessSource":"file-check","degraded":false,"stale":false},"generatedAt":"2026-10-31T19:42:42.307Z","baseUrl":"https://huggingbay.xyz","artifact":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":15,"mirroredBytes":16393065748,"readinessCheckedAt":"2026-10-31T19:42:42.302Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":15,"mirroredBytes":16393065748,"readinessCheckedAt":"2026-10-31T19:42:42.176Z","readinessSource":"file-check","degraded":false,"stale":false},"id":"hf-model-uw-math-ai-gapril-wo-exp","owner":"uw-math-ai","name":"gAPRIL-wo-exp","repo":"uw-math-ai/gAPRIL-wo-exp","type":"llm","summary":"Model from Hugging Face for text generation: uw-math-ai/gAPRIL-wo-exp · 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":16393067318,"scope":"repository","field":"sizeBytes"},"form":"unspecified","runs":[]}},"publisher":"uw-math-ai","sourceUrl":"https://huggingface.co/uw-math-ai/gAPRIL-wo-exp","license":"apache-2.0","licenseState":"known","licenseLabel":"apache-2.0","visibility":"public","verificationStatus":"unknown","scanStatus":"passed","cardCompleteness":93,"tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","lean4","conversational","dataset:uw-math-ai/april","arxiv:2602.02990","base_model:goedel-lm/goedel-prover-v2-8b","base_model:finetune:goedel-lm/goedel-prover-v2-8b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","uw-math-ai/april"],"task":"text-generation","modality":"text","framework":"transformers","formats":["gitattributes","md","json","jinja","txt","safetensors"],"baseModel":null,"derivedFrom":null,"cardMetadata":{"source":"huggingface-cardData","license":"apache-2.0","metrics":[],"datasets":["uw-math-ai/APRIL"],"paperIds":["2602.02990"],"repoType":"model","baseModel":"","languages":[],"sourceUrl":"https://huggingface.co/uw-math-ai/gAPRIL-wo-exp","evalResults":[],"libraryName":"transformers","pipelineTag":"text-generation","cardDataKeys":["base_model","datasets","library_name","license","pipeline_tag","tags"],"semanticText":"text-generation transformers llm model uw-math-ai/april safetensors","semanticTerms":["text-generation","transformers","llm","model","uw-math-ai/april","safetensors"],"siblingSample":[{"lfs":false,"path":".gitattributes","sizeBytes":1570},{"lfs":false,"path":"README.md","sizeBytes":6526},{"lfs":false,"path":"added_tokens.json","sizeBytes":707},{"lfs":false,"path":"chat_template.jinja","sizeBytes":4168},{"lfs":false,"path":"config.json","sizeBytes":1539},{"lfs":false,"path":"generation_config.json","sizeBytes":214},{"lfs":false,"path":"merges.txt","sizeBytes":1671853},{"lfs":true,"path":"model-00001-of-00004.safetensors","sizeBytes":4900070432},{"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":1578043000},{"lfs":false,"path":"model.safetensors.index.json","sizeBytes":32914},{"lfs":false,"path":"special_tokens_map.json","sizeBytes":613},{"lfs":true,"path":"tokenizer.json","sizeBytes":11422654},{"lfs":false,"path":"tokenizer_config.json","sizeBytes":5431},{"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":16393067318,"sizeKnown":true,"sizeLabel":"15.3 GB","sizeReason":"","declaredSizeBytes":16393067318,"defaultDownloadBytes":16377142296,"mirrorCount":1,"downloadCount":1004,"stars":1,"citations":0,"updatedAt":"2026-08-29T20:02:08.882Z","createdAt":"2026-06-30T02:15:25.913Z","version":"hf-main","upstream":{"gated":false,"repoId":"uw-math-ai/gAPRIL-wo-exp","private":false,"repoUrl":"https://huggingface.co/uw-math-ai/gAPRIL-wo-exp","disabled":false,"provider":"huggingface","repoType":"model","revision":"b3efe5230b73d9cae2017c03f1f978c7fbae0ab6","fetchedAt":"2026-08-29T15:02:52.457Z","importMode":"external-catalog","licenseRaw":"apache-2.0"},"hosting":{"status":"hosted","mirroredAt":"2026-08-29T20:02:08.882Z","mirroredBy":"mirror-batch-worker","totalFiles":16,"hostedFiles":15,"mirroredBytes":16393065748,"mirroredFiles":15,"storageProvider":"gcs","hosted":true,"downloadable":true,"verified":false,"completeRunnable":false,"runReady":false,"refreshedAt":null,"stale":false,"downloadReady":true,"serveAuthority":"live-serve-decision","bytesOnStorage":true},"mirrorCompletion":{"found":true,"current":true,"state":"complete-bytes","completeBytes":true,"completeRunnable":false,"verified":false,"runReady":false,"commandsAvailable":false,"authority":"postgres-executable-state-snapshot","snapshotId":"hbes_33ebe59abc9b9127b0a32bdc0dbbeb501963c75a8e1b7bb1dae9c0be1799c5ae","artifactId":"hf-model-uw-math-ai-gapril-wo-exp","representationId":"rep-79a087b13faaecdcd3986281dd9d47201b06f4a130416d1140b541938019f2a2","taskMode":{"mode":"unknown"},"selectedFileBindingVersion":"postgres-selected-object-binding.v2","representation":{"id":"rep-79a087b13faaecdcd3986281dd9d47201b06f4a130416d1140b541938019f2a2","artifactId":"hf-model-uw-math-ai-gapril-wo-exp","format":"safetensors","source":{"provider":"huggingface","identity":"uw-math-ai/gAPRIL-wo-exp","revision":"b3efe5230b73d9cae2017c03f1f978c7fbae0ab6","immutable":true},"files":[{"path":"README.md","role":"support","sizeBytes":6526,"sha256":"sha256:592db876d1ecd0e9717a8a515d129bc26b4ca19327190335b4913af9ca2eb648","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:adee1679dca1c748cf54a93d55d2a6e9db835898a1011e5158227b86ecb09cf6"},{"path":"added_tokens.json","role":"support","sizeBytes":707,"sha256":"sha256:c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:ee4b46a6bd080393c5d3311732bfab2a0f67f569a83b741f5b13db2ac24f0d2a"},{"path":"chat_template.jinja","role":"template","sizeBytes":4168,"sha256":"sha256:a55ee1b1660128b7098723e0abcd92caa0788061051c62d51cbe87d9cf1974d8","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:3559401a93dd3adf188539a51f3b210452a8593a95fbcc88b08792c662dbdd25"},{"path":"config.json","role":"config","sizeBytes":1539,"sha256":"sha256:4a8b3db17b0a65e1166d5c028077d7595db1ed42076f6ea4646620ad2641ee72","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:83744f621745114aaab429f5518043d9b041b4c365274932775997a72067faf6"},{"path":"generation_config.json","role":"config","sizeBytes":214,"sha256":"sha256:64d86df2173901c58389974bde21f7d2ab9eb7d79f35a337753329d39cf265c0","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:631311e799adbed63ff4d4b458005fdebe105b2104b447c86fb996f573be8ed9"},{"path":"merges.txt","role":"tokenizer","sizeBytes":1671853,"sha256":"sha256:8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:a7167e0677fbdb8b9656eb68a5da1dff29963bc7fb1b4080569e8afae7fd8f4e"},{"path":"model-00001-of-00004.safetensors","role":"weight","sizeBytes":4900070432,"sha256":"sha256:af93b5036ea8fba4208c954a933f1c5a61e1c542f9c49d91f637be7599c8f72c","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:a8f4b086e1ccb8c01791525ba06d5f929115334c01ecea02f83a785cad513801"},{"path":"model-00002-of-00004.safetensors","role":"weight","sizeBytes":4915960368,"sha256":"sha256:0b9f0ef8d5bd96030e43bec2ee782a84b84a7d29e640cc5db7ddd1864e6225e1","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:28d6ee48bd9c1439591d22c3a173eb72610f68d397e9f5a4c33a99d53be1a0fb"},{"path":"model-00003-of-00004.safetensors","role":"weight","sizeBytes":4983068496,"sha256":"sha256:58806c052e7b3c465b2576842c8107e01ed34c2e0265d74cad3dda064167bbc7","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:0d6fbf0423febe6c0303986eeab8c8aeed46fba9bb6364c5f8269fd1692c9b0d"},{"path":"model-00004-of-00004.safetensors","role":"weight","sizeBytes":1578043000,"sha256":"sha256:687eac164d4a8b0646b7751f24deab083a85b86008103435a8964a34a61369f9","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:1d08f2f298714d9410f1a84bec4556c565d3ee92f19aa5f43175abf954dc48bc"},{"path":"model.safetensors.index.json","role":"index","sizeBytes":32914,"sha256":"sha256:d5a04f8548cab692f9341e5e1f89edcc6fbc396983c3620b59afc855a6b47cac","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:97649536fd68342a4a193ccb001dc021d1e56c76962e7053657682bccaeec0c1"},{"path":"special_tokens_map.json","role":"tokenizer","sizeBytes":613,"sha256":"sha256:76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:bb632cb9ccd02018bfff6e8b8c85d4e4bc9a1d1992cd3a17bb7f663358f3684d"},{"path":"tokenizer.json","role":"tokenizer","sizeBytes":11422654,"sha256":"sha256:aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:13c8e6eab91c10639213fb4386195c86963e33903f3ee7575fa8a259d623d008"},{"path":"tokenizer_config.json","role":"config","sizeBytes":5431,"sha256":"sha256:cd5c1909da4950a610a9e3a6cb6763cff0381d91c6f0838855db8d5ae83d6c9f","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:ec378bb4e3686a75da9c29e4e7fa23901b284bf564b9eb8f38428dfbc107cd26"},{"path":"vocab.json","role":"tokenizer","sizeBytes":2776833,"sha256":"sha256:ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:1e8dbf7c8cfd1953bddd23f18854b50ad6eca8263e95d16c6ab051858217095d"}]},"evaluatorVersion":"1.3.1","selectedFilesDigest":"sha256:a3bbd3916048da58cbac5482627cc28e80078112a8c05c99f4963546b4333245","representationDigest":"sha256:3dbfbf54033d95451af148de4bd780687b5d9625249e619053c0cf6d7a832a8a","evidenceSnapshotDigest":"sha256:ba08052c78b24bbb6fcac25aa683564764c7dbf49e77344b05f7ca2b02072259","evaluatedAt":"2026-08-29T20:02:09.269Z","authorityVersion":"sha256:be30cfba552364df2f78b8df5924bb731b2f163dfac305e031d297bad48747f9","invalidatedBy":null,"manifestFinal":true,"downloadable":false,"hosted":true,"hostedFiles":15,"serveAuthority":"live-serve-decision","individuallyHashedFiles":15,"weightsHosted":null,"weightCountState":"not-snapshot-bound","totalFiles":15,"strictlyDownloadableFiles":15,"strictlyDownloadableHashedFiles":15,"strictlyDownloadableWeights":null,"strictWeightCountState":"not-snapshot-bound","artifactInventoryFiles":16,"scope":"recorded-postgres-snapshot","serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-31T19:42:42.302Z","evidence_url":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp"},"lastKnownAnswer":"Ready to download"},"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":16,"publicDownloadableFileCount":15,"externalFileCount":16,"servingCountsRefreshedAt":null,"servingCountsStale":false,"signals":{"size":{"known":true,"bytes":16393067318,"label":"15.3 GB","reason":""},"demand":{"mirrorRequests":0,"upstreamDownloads":1004,"upstreamStars":1,"label":"1.0K upstream downloads","basis":"upstream-downloads"},"trust":{"score":0,"level":"metadata-checked","label":"Unknown","qualification":"recorded-state-complete-bytes","trustImpact":"none","checks":[{"id":"license","label":"License","status":"pass","detail":"apache-2.0"},{"id":"provenance","label":"Provenance","status":"pass","detail":"uw-math-ai/gAPRIL-wo-exp"},{"id":"scan","label":"Scan","status":"pass","detail":"passed"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"15/16 repository files hosted; selected representation evaluated separately"},{"id":"manifest","label":"Byte manifest integrity","status":"pass","detail":"selected representation is complete-bytes; per-file SHA-256 published (cryptographic signing pending)"}],"strengths":["License: apache-2.0","Provenance: uw-math-ai/gAPRIL-wo-exp","Scan: passed","Byte manifest integrity: selected representation is complete-bytes; per-file SHA-256 published (cryptographic signing pending)"],"gaps":["Hosted files: 15/16 repository files hosted; selected representation evaluated separately"]},"readiness":{"score":0,"level":"bytes-complete","hostedFinal":true,"hostedFiles":15,"externalFiles":1,"totalFiles":16},"action":{"id":"download","label":"Download exact selected bytes","detail":"The selected immutable representation is byte-complete; runtime compatibility is not established.","href":"/api/v1/artifacts/hf-model-uw-math-ai-gapril-wo-exp/download-plan"}},"sampleFiles":[{"path":".gitattributes","sizeBytes":1570,"format":"gitattributes","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"},{"path":"README.md","sizeBytes":6526,"format":"md","risk":"low","downloadPolicy":"capability","sourceKind":"mirrored-upstream"},{"path":"added_tokens.json","sizeBytes":707,"format":"json","risk":"low","downloadPolicy":"capability","sourceKind":"mirrored-upstream"},{"path":"chat_template.jinja","sizeBytes":4168,"format":"jinja","risk":"low","downloadPolicy":"capability","sourceKind":"mirrored-upstream"},{"path":"config.json","sizeBytes":1539,"format":"json","risk":"low","downloadPolicy":"capability","sourceKind":"mirrored-upstream"}],"contentControls":{"state":"not assessed","basis":"no_explicit_uploader_evidence","matchedTerms":[],"assessedAt":null},"contentControlsLabel":"Content controls: not assessed.","contentControlsAttribution":{"upstream":{"provider":"huggingface","repoId":"uw-math-ai/gAPRIL-wo-exp"}},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T19:42:42.302Z","evidence_url":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp"}},"policy":{"verifiedHostedFirst":true,"peerFallbacksRequireReview":true,"licenseMirrorAllowed":true,"noGatedPrivateBypass":true,"noUnreviewedMagnetPublication":true,"note":"Hugging Bay is a verified catalog and selective mirror. Peer-assisted fallback metadata is accepted only for review and is published only after source, license, provenance, and safety checks."},"hostedDownloads":{"status":"hosted","hosted":true,"hostedFiles":15,"readiness":"ready","downloadReady":true,"degraded":false,"stale":false,"serveDecision":{"state":"READY","authority":"live-serve-decision"},"filesUrl":"https://huggingbay.xyz/api/artifacts/hf-model-uw-math-ai-gapril-wo-exp/files?limit=100","downloadableFilesUrl":"https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-uw-math-ai-gapril-wo-exp&limit=100","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","torrentUrl":null,"magnetUri":null,"torrent":{"status":"unavailable","torrentUrl":null,"magnetUri":null,"reason":"fresh_torrent_generation_unavailable"},"reviewedPeerFallbackReady":true,"reviewedPeerFallbackFiles":0,"reviewedPeerFallbackCount":0,"peerFallbackReadinessUrl":"https://huggingbay.xyz/api/artifacts/hf-model-uw-math-ai-gapril-wo-exp/distribution","rows":[{"artifactId":"hf-model-uw-math-ai-gapril-wo-exp","visibility":"public","owner":"uw-math-ai","name":"gAPRIL-wo-exp","repo":"uw-math-ai/gAPRIL-wo-exp","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","lean4","conversational","dataset:uw-math-ai/april","arxiv:2602.02990","base_model:goedel-lm/goedel-prover-v2-8b","base_model:finetune:goedel-lm/goedel-prover-v2-8b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","uw-math-ai/april"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: uw-math-ai/gAPRIL-wo-exp · transformers","baseModel":null,"downloadCount":1004,"filePath":"added_tokens.json","format":"json","risk":"low","sizeBytes":707,"storageSizeBytes":707,"sha256":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","byteVerifiedAt":"2026-08-29T19:58:18.300Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/added_tokens.json","manifestUrl":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-02T17:32:28.734Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":707,"readinessCheckedAt":"2026-10-31T19:42:42.301Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":707,"readinessCheckedAt":"2026-10-31T19:42:42.176Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T19:42:42.301Z","evidence_url":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp"},"signature_state":"signed"},{"artifactId":"hf-model-uw-math-ai-gapril-wo-exp","visibility":"public","owner":"uw-math-ai","name":"gAPRIL-wo-exp","repo":"uw-math-ai/gAPRIL-wo-exp","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","lean4","conversational","dataset:uw-math-ai/april","arxiv:2602.02990","base_model:goedel-lm/goedel-prover-v2-8b","base_model:finetune:goedel-lm/goedel-prover-v2-8b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","uw-math-ai/april"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: uw-math-ai/gAPRIL-wo-exp · transformers","baseModel":null,"downloadCount":1004,"filePath":"chat_template.jinja","format":"jinja","risk":"low","sizeBytes":4168,"storageSizeBytes":4168,"sha256":"a55ee1b1660128b7098723e0abcd92caa0788061051c62d51cbe87d9cf1974d8","byteVerifiedAt":"2026-08-29T19:58:18.394Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/chat_template.jinja","manifestUrl":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-02T17:32:28.734Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4168,"readinessCheckedAt":"2026-10-31T19:42:42.301Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4168,"readinessCheckedAt":"2026-10-31T19:42:42.176Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T19:42:42.301Z","evidence_url":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp"},"signature_state":"signed"},{"artifactId":"hf-model-uw-math-ai-gapril-wo-exp","visibility":"public","owner":"uw-math-ai","name":"gAPRIL-wo-exp","repo":"uw-math-ai/gAPRIL-wo-exp","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","lean4","conversational","dataset:uw-math-ai/april","arxiv:2602.02990","base_model:goedel-lm/goedel-prover-v2-8b","base_model:finetune:goedel-lm/goedel-prover-v2-8b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","uw-math-ai/april"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: uw-math-ai/gAPRIL-wo-exp · transformers","baseModel":null,"downloadCount":1004,"filePath":"config.json","format":"json","risk":"low","sizeBytes":1539,"storageSizeBytes":1539,"sha256":"4a8b3db17b0a65e1166d5c028077d7595db1ed42076f6ea4646620ad2641ee72","byteVerifiedAt":"2026-08-29T19:58:18.494Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/config.json","manifestUrl":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-02T17:32:28.734Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1539,"readinessCheckedAt":"2026-10-31T19:42:42.301Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1539,"readinessCheckedAt":"2026-10-31T19:42:42.176Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T19:42:42.301Z","evidence_url":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp"},"signature_state":"signed"},{"artifactId":"hf-model-uw-math-ai-gapril-wo-exp","visibility":"public","owner":"uw-math-ai","name":"gAPRIL-wo-exp","repo":"uw-math-ai/gAPRIL-wo-exp","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","lean4","conversational","dataset:uw-math-ai/april","arxiv:2602.02990","base_model:goedel-lm/goedel-prover-v2-8b","base_model:finetune:goedel-lm/goedel-prover-v2-8b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","uw-math-ai/april"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: uw-math-ai/gAPRIL-wo-exp · transformers","baseModel":null,"downloadCount":1004,"filePath":"generation_config.json","format":"json","risk":"low","sizeBytes":214,"storageSizeBytes":214,"sha256":"64d86df2173901c58389974bde21f7d2ab9eb7d79f35a337753329d39cf265c0","byteVerifiedAt":"2026-08-29T19:58:18.610Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/generation_config.json","manifestUrl":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-02T17:32:28.734Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":214,"readinessCheckedAt":"2026-10-31T19:42:42.301Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":214,"readinessCheckedAt":"2026-10-31T19:42:42.176Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T19:42:42.301Z","evidence_url":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp"},"signature_state":"signed"},{"artifactId":"hf-model-uw-math-ai-gapril-wo-exp","visibility":"public","owner":"uw-math-ai","name":"gAPRIL-wo-exp","repo":"uw-math-ai/gAPRIL-wo-exp","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","lean4","conversational","dataset:uw-math-ai/april","arxiv:2602.02990","base_model:goedel-lm/goedel-prover-v2-8b","base_model:finetune:goedel-lm/goedel-prover-v2-8b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","uw-math-ai/april"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: uw-math-ai/gAPRIL-wo-exp · transformers","baseModel":null,"downloadCount":1004,"filePath":"merges.txt","format":"txt","risk":"low","sizeBytes":1671853,"storageSizeBytes":1671853,"sha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","byteVerifiedAt":"2026-08-29T19:58:18.717Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/merges.txt","manifestUrl":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-02T17:32:28.734Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1671853,"readinessCheckedAt":"2026-10-31T19:42:42.301Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1671853,"readinessCheckedAt":"2026-10-31T19:42:42.176Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T19:42:42.301Z","evidence_url":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp"},"signature_state":"signed"},{"artifactId":"hf-model-uw-math-ai-gapril-wo-exp","visibility":"public","owner":"uw-math-ai","name":"gAPRIL-wo-exp","repo":"uw-math-ai/gAPRIL-wo-exp","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","lean4","conversational","dataset:uw-math-ai/april","arxiv:2602.02990","base_model:goedel-lm/goedel-prover-v2-8b","base_model:finetune:goedel-lm/goedel-prover-v2-8b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","uw-math-ai/april"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: uw-math-ai/gAPRIL-wo-exp · transformers","baseModel":null,"downloadCount":1004,"filePath":"model-00001-of-00004.safetensors","format":"safetensors","risk":"low","sizeBytes":4900070432,"storageSizeBytes":4900070432,"sha256":"af93b5036ea8fba4208c954a933f1c5a61e1c542f9c49d91f637be7599c8f72c","byteVerifiedAt":"2026-08-29T19:59:21.472Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/model-00001-of-00004.safetensors","manifestUrl":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-02T17:32:28.734Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4900070432,"readinessCheckedAt":"2026-10-31T19:42:42.301Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4900070432,"readinessCheckedAt":"2026-10-31T19:42:42.176Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T19:42:42.301Z","evidence_url":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp"},"signature_state":"signed"},{"artifactId":"hf-model-uw-math-ai-gapril-wo-exp","visibility":"public","owner":"uw-math-ai","name":"gAPRIL-wo-exp","repo":"uw-math-ai/gAPRIL-wo-exp","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","lean4","conversational","dataset:uw-math-ai/april","arxiv:2602.02990","base_model:goedel-lm/goedel-prover-v2-8b","base_model:finetune:goedel-lm/goedel-prover-v2-8b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","uw-math-ai/april"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: uw-math-ai/gAPRIL-wo-exp · transformers","baseModel":null,"downloadCount":1004,"filePath":"model-00002-of-00004.safetensors","format":"safetensors","risk":"low","sizeBytes":4915960368,"storageSizeBytes":4915960368,"sha256":"0b9f0ef8d5bd96030e43bec2ee782a84b84a7d29e640cc5db7ddd1864e6225e1","byteVerifiedAt":"2026-08-29T20:00:37.586Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/model-00002-of-00004.safetensors","manifestUrl":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-02T17:32:28.734Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4915960368,"readinessCheckedAt":"2026-10-31T19:42:42.301Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4915960368,"readinessCheckedAt":"2026-10-31T19:42:42.176Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T19:42:42.301Z","evidence_url":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp"},"signature_state":"signed"},{"artifactId":"hf-model-uw-math-ai-gapril-wo-exp","visibility":"public","owner":"uw-math-ai","name":"gAPRIL-wo-exp","repo":"uw-math-ai/gAPRIL-wo-exp","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","lean4","conversational","dataset:uw-math-ai/april","arxiv:2602.02990","base_model:goedel-lm/goedel-prover-v2-8b","base_model:finetune:goedel-lm/goedel-prover-v2-8b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","uw-math-ai/april"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: uw-math-ai/gAPRIL-wo-exp · transformers","baseModel":null,"downloadCount":1004,"filePath":"model-00003-of-00004.safetensors","format":"safetensors","risk":"low","sizeBytes":4983068496,"storageSizeBytes":4983068496,"sha256":"58806c052e7b3c465b2576842c8107e01ed34c2e0265d74cad3dda064167bbc7","byteVerifiedAt":"2026-08-29T20:01:54.251Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/model-00003-of-00004.safetensors","manifestUrl":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-02T17:32:28.734Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4983068496,"readinessCheckedAt":"2026-10-31T19:42:42.301Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4983068496,"readinessCheckedAt":"2026-10-31T19:42:42.176Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T19:42:42.301Z","evidence_url":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp"},"signature_state":"signed"},{"artifactId":"hf-model-uw-math-ai-gapril-wo-exp","visibility":"public","owner":"uw-math-ai","name":"gAPRIL-wo-exp","repo":"uw-math-ai/gAPRIL-wo-exp","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","lean4","conversational","dataset:uw-math-ai/april","arxiv:2602.02990","base_model:goedel-lm/goedel-prover-v2-8b","base_model:finetune:goedel-lm/goedel-prover-v2-8b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","uw-math-ai/april"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: uw-math-ai/gAPRIL-wo-exp · transformers","baseModel":null,"downloadCount":1004,"filePath":"model-00004-of-00004.safetensors","format":"safetensors","risk":"low","sizeBytes":1578043000,"storageSizeBytes":1578043000,"sha256":"687eac164d4a8b0646b7751f24deab083a85b86008103435a8964a34a61369f9","byteVerifiedAt":"2026-08-29T20:02:06.939Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/model-00004-of-00004.safetensors","manifestUrl":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-02T17:32:28.734Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1578043000,"readinessCheckedAt":"2026-10-31T19:42:42.301Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1578043000,"readinessCheckedAt":"2026-10-31T19:42:42.176Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T19:42:42.301Z","evidence_url":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp"},"signature_state":"signed"},{"artifactId":"hf-model-uw-math-ai-gapril-wo-exp","visibility":"public","owner":"uw-math-ai","name":"gAPRIL-wo-exp","repo":"uw-math-ai/gAPRIL-wo-exp","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","lean4","conversational","dataset:uw-math-ai/april","arxiv:2602.02990","base_model:goedel-lm/goedel-prover-v2-8b","base_model:finetune:goedel-lm/goedel-prover-v2-8b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","uw-math-ai/april"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: uw-math-ai/gAPRIL-wo-exp · transformers","baseModel":null,"downloadCount":1004,"filePath":"model.safetensors.index.json","format":"json","risk":"low","sizeBytes":32914,"storageSizeBytes":32914,"sha256":"d5a04f8548cab692f9341e5e1f89edcc6fbc396983c3620b59afc855a6b47cac","byteVerifiedAt":"2026-08-29T20:02:07.053Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/model.safetensors.index.json","manifestUrl":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-02T17:32:28.734Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":32914,"readinessCheckedAt":"2026-10-31T19:42:42.301Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":32914,"readinessCheckedAt":"2026-10-31T19:42:42.176Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T19:42:42.301Z","evidence_url":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp"},"signature_state":"signed"},{"artifactId":"hf-model-uw-math-ai-gapril-wo-exp","visibility":"public","owner":"uw-math-ai","name":"gAPRIL-wo-exp","repo":"uw-math-ai/gAPRIL-wo-exp","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","lean4","conversational","dataset:uw-math-ai/april","arxiv:2602.02990","base_model:goedel-lm/goedel-prover-v2-8b","base_model:finetune:goedel-lm/goedel-prover-v2-8b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","uw-math-ai/april"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: uw-math-ai/gAPRIL-wo-exp · transformers","baseModel":null,"downloadCount":1004,"filePath":"README.md","format":"md","risk":"low","sizeBytes":6526,"storageSizeBytes":6526,"sha256":"592db876d1ecd0e9717a8a515d129bc26b4ca19327190335b4913af9ca2eb648","byteVerifiedAt":"2026-08-29T19:58:18.215Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/README.md","manifestUrl":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-02T17:32:28.734Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":6526,"readinessCheckedAt":"2026-10-31T19:42:42.301Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":6526,"readinessCheckedAt":"2026-10-31T19:42:42.176Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T19:42:42.301Z","evidence_url":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp"},"signature_state":"signed"},{"artifactId":"hf-model-uw-math-ai-gapril-wo-exp","visibility":"public","owner":"uw-math-ai","name":"gAPRIL-wo-exp","repo":"uw-math-ai/gAPRIL-wo-exp","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","lean4","conversational","dataset:uw-math-ai/april","arxiv:2602.02990","base_model:goedel-lm/goedel-prover-v2-8b","base_model:finetune:goedel-lm/goedel-prover-v2-8b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","uw-math-ai/april"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: uw-math-ai/gAPRIL-wo-exp · transformers","baseModel":null,"downloadCount":1004,"filePath":"special_tokens_map.json","format":"json","risk":"low","sizeBytes":613,"storageSizeBytes":613,"sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","byteVerifiedAt":"2026-08-29T20:02:07.156Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/special_tokens_map.json","manifestUrl":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-02T17:32:28.734Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-10-31T19:42:42.301Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-10-31T19:42:42.176Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T19:42:42.301Z","evidence_url":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp"},"signature_state":"signed"},{"artifactId":"hf-model-uw-math-ai-gapril-wo-exp","visibility":"public","owner":"uw-math-ai","name":"gAPRIL-wo-exp","repo":"uw-math-ai/gAPRIL-wo-exp","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","lean4","conversational","dataset:uw-math-ai/april","arxiv:2602.02990","base_model:goedel-lm/goedel-prover-v2-8b","base_model:finetune:goedel-lm/goedel-prover-v2-8b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","uw-math-ai/april"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: uw-math-ai/gAPRIL-wo-exp · transformers","baseModel":null,"downloadCount":1004,"filePath":"tokenizer_config.json","format":"json","risk":"low","sizeBytes":5431,"storageSizeBytes":5431,"sha256":"cd5c1909da4950a610a9e3a6cb6763cff0381d91c6f0838855db8d5ae83d6c9f","byteVerifiedAt":"2026-08-29T20:02:07.438Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/tokenizer_config.json","manifestUrl":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-02T17:32:28.734Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":5431,"readinessCheckedAt":"2026-10-31T19:42:42.301Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":5431,"readinessCheckedAt":"2026-10-31T19:42:42.176Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T19:42:42.301Z","evidence_url":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp"},"signature_state":"signed"},{"artifactId":"hf-model-uw-math-ai-gapril-wo-exp","visibility":"public","owner":"uw-math-ai","name":"gAPRIL-wo-exp","repo":"uw-math-ai/gAPRIL-wo-exp","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","lean4","conversational","dataset:uw-math-ai/april","arxiv:2602.02990","base_model:goedel-lm/goedel-prover-v2-8b","base_model:finetune:goedel-lm/goedel-prover-v2-8b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","uw-math-ai/april"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: uw-math-ai/gAPRIL-wo-exp · transformers","baseModel":null,"downloadCount":1004,"filePath":"tokenizer.json","format":"json","risk":"low","sizeBytes":11422654,"storageSizeBytes":11422654,"sha256":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","byteVerifiedAt":"2026-08-29T20:02:07.341Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/tokenizer.json","manifestUrl":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-02T17:32:28.734Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":11422654,"readinessCheckedAt":"2026-10-31T19:42:42.301Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":11422654,"readinessCheckedAt":"2026-10-31T19:42:42.176Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T19:42:42.301Z","evidence_url":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp"},"signature_state":"signed"},{"artifactId":"hf-model-uw-math-ai-gapril-wo-exp","visibility":"public","owner":"uw-math-ai","name":"gAPRIL-wo-exp","repo":"uw-math-ai/gAPRIL-wo-exp","type":"llm","task":"text-generation","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","lean4","conversational","dataset:uw-math-ai/april","arxiv:2602.02990","base_model:goedel-lm/goedel-prover-v2-8b","base_model:finetune:goedel-lm/goedel-prover-v2-8b","license:apache-2.0","text-generation-inference","endpoints_compatible","region:us","llm","uw-math-ai/april"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for text generation: uw-math-ai/gAPRIL-wo-exp · transformers","baseModel":null,"downloadCount":1004,"filePath":"vocab.json","format":"json","risk":"low","sizeBytes":2776833,"storageSizeBytes":2776833,"sha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","byteVerifiedAt":"2026-08-29T20:02:07.568Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/vocab.json","manifestUrl":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-02T17:32:28.734Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2776833,"readinessCheckedAt":"2026-10-31T19:42:42.301Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T19:42:42.176Z","serveEvaluationId":"serve-e624079feffd39b85a1f2fa0714bcedd25577a913dea859453b688da89d12389","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2776833,"readinessCheckedAt":"2026-10-31T19:42:42.176Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T19:42:42.301Z","evidence_url":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp"},"signature_state":"signed"}]},"upstream":{"provider":"huggingface","repoId":"uw-math-ai/gAPRIL-wo-exp","repoUrl":"https://huggingface.co/uw-math-ai/gAPRIL-wo-exp","externalMetadataOnly":false},"decentralizedFallbacks":{"protocol":"bittorrent-magnet-metadata","verifiedCount":0,"pendingReviewCount":0,"requestUrl":"https://huggingbay.xyz/api/artifacts/hf-model-uw-math-ai-gapril-wo-exp/decentralized-fallbacks","reviewQueueUrl":"https://huggingbay.xyz/api/artifacts/hf-model-uw-math-ai-gapril-wo-exp/distribution","verified":[],"pendingReview":[],"readiness":{"status":"ready-for-reviewed-fallback","ready":true,"reviewRequired":true,"publishActualMagnetOnlyAfterReview":true,"protocol":"bittorrent-magnet-metadata","torrentName":"uw-math-ai-gAPRIL-wo-exp","licenseAllowed":true,"sameAsUpstreamRequired":true,"sourceUrl":"https://huggingface.co/uw-math-ai/gAPRIL-wo-exp","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","distributionUrl":"https://huggingbay.xyz/api/artifacts/hf-model-uw-math-ai-gapril-wo-exp/distribution","trustBundleUrl":"https://huggingbay.xyz/api/trust-bundles/hf-model-uw-math-ai-gapril-wo-exp","downloadPlanUrl":"https://huggingbay.xyz/api/artifacts/hf-model-uw-math-ai-gapril-wo-exp/download-plan","requestUrl":"https://huggingbay.xyz/api/artifacts/hf-model-uw-math-ai-gapril-wo-exp/decentralized-fallbacks","manifestDigest":"sha256:6b45cec6bcb58cf09ecf8a6121b6a2ed6830b17e900e09edf40647c99d596eee","fileCount":15,"totalBytes":16393065748,"files":[{"path":"","sizeBytes":707,"sha256":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/added_tokens.json"},{"path":"","sizeBytes":4168,"sha256":"a55ee1b1660128b7098723e0abcd92caa0788061051c62d51cbe87d9cf1974d8","downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/chat_template.jinja"},{"path":"","sizeBytes":1539,"sha256":"4a8b3db17b0a65e1166d5c028077d7595db1ed42076f6ea4646620ad2641ee72","downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/config.json"},{"path":"","sizeBytes":214,"sha256":"64d86df2173901c58389974bde21f7d2ab9eb7d79f35a337753329d39cf265c0","downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/generation_config.json"},{"path":"","sizeBytes":1671853,"sha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/merges.txt"},{"path":"","sizeBytes":4900070432,"sha256":"af93b5036ea8fba4208c954a933f1c5a61e1c542f9c49d91f637be7599c8f72c","downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/model-00001-of-00004.safetensors"},{"path":"","sizeBytes":4915960368,"sha256":"0b9f0ef8d5bd96030e43bec2ee782a84b84a7d29e640cc5db7ddd1864e6225e1","downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/model-00002-of-00004.safetensors"},{"path":"","sizeBytes":4983068496,"sha256":"58806c052e7b3c465b2576842c8107e01ed34c2e0265d74cad3dda064167bbc7","downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/model-00003-of-00004.safetensors"},{"path":"","sizeBytes":1578043000,"sha256":"687eac164d4a8b0646b7751f24deab083a85b86008103435a8964a34a61369f9","downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/model-00004-of-00004.safetensors"},{"path":"","sizeBytes":32914,"sha256":"d5a04f8548cab692f9341e5e1f89edcc6fbc396983c3620b59afc855a6b47cac","downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/model.safetensors.index.json"},{"path":"","sizeBytes":6526,"sha256":"592db876d1ecd0e9717a8a515d129bc26b4ca19327190335b4913af9ca2eb648","downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/README.md"},{"path":"","sizeBytes":613,"sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/special_tokens_map.json"},{"path":"","sizeBytes":5431,"sha256":"cd5c1909da4950a610a9e3a6cb6763cff0381d91c6f0838855db8d5ae83d6c9f","downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/tokenizer_config.json"},{"path":"","sizeBytes":11422654,"sha256":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/tokenizer.json"},{"path":"","sizeBytes":2776833,"sha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","downloadUrl":"/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/vocab.json"}],"blockers":[],"requiredEvidence":["magnet URI with btih info hash","source URL proving the torrent maps to this public upstream release","SHA-256 or signed manifest evidence for each hosted file","reviewer note confirming license, provenance, scan, and same-as-upstream checks"],"guidance":"This hosted artifact has enough signed hash/provenance metadata for a reviewed torrent or magnet fallback request; submit the magnet for review before publication."}},"recommendedFlow":["Prefer hostedDownloads rows and verify SHA-256/manifest before runtime use.","If a legitimate torrent/magnet already exists for this open artifact, submit it to decentralizedFallbacks.requestUrl for review.","Do not use Hugging Bay to bypass gated, private, removed, or unknown-license sources."],"actions":{"web":"https://huggingbay.xyz/artifact/hf-model-uw-math-ai-gapril-wo-exp/distribution","submitFallback":{"method":"POST","url":"https://huggingbay.xyz/api/artifacts/hf-model-uw-math-ai-gapril-wo-exp/decentralized-fallbacks","body":{"magnetUri":"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.","sourceUrl":"https://huggingface.co/uw-math-ai/gAPRIL-wo-exp","useCase":"community resilience fallback"}},"requestHostedMirror":null},"hosted":true,"hostingStatus":"hosted","publicDownloadableFileCount":15,"peerFallbacks":{"schemaVersion":"hugging-bay.peer-fallbacks.v1","generatedAt":"2026-10-31T19:42:42.311Z","baseUrl":"https://huggingbay.xyz","artifact":{"id":"hf-model-uw-math-ai-gapril-wo-exp","repo":"uw-math-ai/gAPRIL-wo-exp","owner":"uw-math-ai","name":"gAPRIL-wo-exp","type":"llm","license":"apache-2.0","hostingStatus":"hosted","sourceUrl":"https://huggingface.co/uw-math-ai/gAPRIL-wo-exp"},"policy":{"reviewRequired":true,"noUnreviewedMagnetPublication":true,"noGatedPrivateBypass":true,"hostedHashVerificationRequired":true,"directTorrentGeneration":false,"note":"Hosted torrents are generated only from the exact serving-eligibility authority with full-byte verification. Third-party peer-fallback metadata remains separately review-gated and unreviewed magnets are never published."},"summary":{"hostedFiles":15,"filesWithReviewedFallbacks":0,"reviewedFileFallbacks":0,"reviewedArtifactFallbacks":0,"reviewedFallbacks":0,"reviewedTorrentSources":0,"pendingReviewRequests":0,"ready":false},"readiness":{"state":"unknown","completeRunnable":false,"verified":false,"runReady":false,"reason":"recorded-evaluator-not-integrated"},"verifiedFallbacks":[],"files":[],"pendingReview":[],"actions":{"web":"https://huggingbay.xyz/artifact/hf-model-uw-math-ai-gapril-wo-exp/peer-fallbacks","distributionUrl":"https://huggingbay.xyz/api/artifacts/hf-model-uw-math-ai-gapril-wo-exp/distribution","downloadPlanUrl":"https://huggingbay.xyz/api/artifacts/hf-model-uw-math-ai-gapril-wo-exp/download-plan","hostedDownloadsUrl":"https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-uw-math-ai-gapril-wo-exp&limit=100","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","generatedTorrentUrl":null,"requestUrl":"https://huggingbay.xyz/api/artifacts/hf-model-uw-math-ai-gapril-wo-exp/decentralized-fallbacks","artifactUrl":"https://huggingbay.xyz/artifact/hf-model-uw-math-ai-gapril-wo-exp","releaseUrl":"https://huggingbay.xyz/releases/hf-model-uw-math-ai-gapril-wo-exp"},"commands":[],"guidance":["Inspect hosted file hashes separately; they do not establish bundle completeness or runtime readiness.","Peer fallback metadata is informational and does not establish a verified or runnable bundle.","Submit legitimate open-artifact magnet metadata through actions.requestUrl; unreviewed submissions remain hidden."]},"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":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T19:42:42.302Z","evidence_url":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp"}}