{"stats":{"hostedArtifacts":1,"hostedFiles":15,"hostedBytes":16393065748,"mirroredHfFiles":0,"mirroredModelScopeFiles":0,"publisherUploadedFiles":0,"seededDemoFiles":0,"estimated":true,"scope":"returned-serve-eligible-rows","catalogTotals":{"readyFiles":99269,"readyPrograms":19261,"asOf":"2026-10-30T21:56:00.851Z","refreshing":true,"scope":"all-download-ready-programs","note":"Site-wide count of files in download-ready programs (the number /facts and /downloads show). stats.hostedFiles/hostedArtifacts count only the rows returned here."}},"pack":null,"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":"README.md","format":"md","risk":"low","sizeBytes":6526,"storageSizeBytes":6526,"sha256":"592db876d1ecd0e9717a8a515d129bc26b4ca19327190335b4913af9ca2eb648","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/README.md","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"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-08-29T20:02:08.882Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":6526,"readinessCheckedAt":"2026-10-31T01:23:49.694Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":6526,"readinessCheckedAt":"2026-10-31T01:23:49.694Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"gaprilwoexp||md","size":1,"rank":1,"recommendedArtifactId":"hf-model-uw-math-ai-gapril-wo-exp","recommendedFilePath":"README.md","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":true,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T01:23:49.694Z","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":"added_tokens.json","format":"json","risk":"low","sizeBytes":707,"storageSizeBytes":707,"sha256":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","byteVerifiedAt":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/added_tokens.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"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-08-29T20:02:08.882Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":707,"readinessCheckedAt":"2026-10-31T01:23:49.694Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":707,"readinessCheckedAt":"2026-10-31T01:23:49.694Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"gaprilwoexp||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-uw-math-ai-gapril-wo-exp","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":true,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T01:23:49.694Z","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":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/chat_template.jinja","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"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-08-29T20:02:08.882Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4168,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4168,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"gaprilwoexp||jinja","size":1,"rank":1,"recommendedArtifactId":"hf-model-uw-math-ai-gapril-wo-exp","recommendedFilePath":"chat_template.jinja","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":true,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T01:23:49.695Z","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":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/config.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"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-08-29T20:02:08.882Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1539,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1539,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"gaprilwoexp||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-uw-math-ai-gapril-wo-exp","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T01:23:49.695Z","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":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/generation_config.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"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-08-29T20:02:08.882Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":214,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":214,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"gaprilwoexp||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-uw-math-ai-gapril-wo-exp","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T01:23:49.695Z","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":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/merges.txt","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"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-08-29T20:02:08.882Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1671853,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1671853,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"gaprilwoexp||txt","size":1,"rank":1,"recommendedArtifactId":"hf-model-uw-math-ai-gapril-wo-exp","recommendedFilePath":"merges.txt","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":true,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T01:23:49.695Z","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":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/model-00001-of-00004.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"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-08-29T20:02:08.882Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4900070432,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4900070432,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"weight","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"gaprilwoexp||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-uw-math-ai-gapril-wo-exp","recommendedFilePath":"model-00001-of-00004.safetensors","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":true,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T01:23:49.695Z","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":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/model-00002-of-00004.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"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-08-29T20:02:08.882Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4915960368,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4915960368,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"weight","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"gaprilwoexp||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-uw-math-ai-gapril-wo-exp","recommendedFilePath":"model-00001-of-00004.safetensors","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T01:23:49.695Z","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":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/model-00003-of-00004.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"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-08-29T20:02:08.882Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4983068496,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4983068496,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"weight","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"gaprilwoexp||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-uw-math-ai-gapril-wo-exp","recommendedFilePath":"model-00001-of-00004.safetensors","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T01:23:49.695Z","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":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/model-00004-of-00004.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"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-08-29T20:02:08.882Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1578043000,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1578043000,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"weight","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"gaprilwoexp||safetensors","size":1,"rank":1,"recommendedArtifactId":"hf-model-uw-math-ai-gapril-wo-exp","recommendedFilePath":"model-00001-of-00004.safetensors","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T01:23:49.695Z","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":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/model.safetensors.index.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"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-08-29T20:02:08.882Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":32914,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":32914,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"gaprilwoexp||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-uw-math-ai-gapril-wo-exp","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T01:23:49.695Z","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":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/special_tokens_map.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"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-08-29T20:02:08.882Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"gaprilwoexp||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-uw-math-ai-gapril-wo-exp","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T01:23:49.695Z","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":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/tokenizer.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"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-08-29T20:02:08.882Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":11422654,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":11422654,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"gaprilwoexp||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-uw-math-ai-gapril-wo-exp","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T01:23:49.695Z","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":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/tokenizer_config.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"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-08-29T20:02:08.882Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":5431,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":5431,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"gaprilwoexp||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-uw-math-ai-gapril-wo-exp","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T01:23:49.695Z","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":null,"sourceKind":"mirrored-upstream","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-uw-math-ai-gapril-wo-exp/vocab.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-uw-math-ai-gapril-wo-exp","manifestKeyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","serveDecision":{"state":"READY","reasonCodes":[],"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-08-29T20:02:08.882Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2776833,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T01:23:49.686Z","serveEvaluationId":"serve-8a4f879b5be09cd55cf20556b2a18a771e57a99cdce07ee4adfb5f84f242c94a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2776833,"readinessCheckedAt":"2026-10-31T01:23:49.695Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"role":"support","default":false,"recommended":false,"recommendedReason":null,"recommendedReasonText":null,"duplicateGroup":{"key":"gaprilwoexp||json","size":1,"rank":1,"recommendedArtifactId":"hf-model-uw-math-ai-gapril-wo-exp","recommendedFilePath":"added_tokens.json","policy":"hugging-bay.duplicate-ready-tiebreak/v1"},"preferredCopy":false,"downloadUrlResponse":{"status":302,"followRedirects":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-31T01:23:49.695Z","evidence_url":"/api/manifests/hf-model-uw-math-ai-gapril-wo-exp"},"signature_state":"signed"}],"walkUrl":"/api/downloadable-files?cursor=0&limit=200","generatedAt":"2026-10-31T01:23:49.705Z","recommendation":{"defaultFilePolicy":"GGUF Q4_K_M, Q5_K_M, smallest valid Q4, then other GGUF; safetensors; ONNX set; bin or pt. Side files and standalone shards excluded.","copyPolicy":"hugging-bay.duplicate-ready-tiebreak/v1","policy":"hugging-bay.duplicate-ready-tiebreak/v1","order":["official-publisher","most-downloaded","smallest-file"]},"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."}}