{"serveDecision":{"state":"UNKNOWN","authority":"live-serve-decision"},"downloadable":null,"downloadReady":null,"degraded":false,"stale":false,"schemaVersion":"hugging-bay.local-kit.v2","displayOnly":true,"authorizationRequired":true,"eligibilitySnapshotAt":"2026-11-02T00:40:39.339Z","generatedAt":"2026-11-02T00:43:00.862Z","status":"runnable-bundle-recipe","commandsAvailable":true,"commands":[{"tool":"lm-studio","label":"LM Studio (no terminal)","kind":"gui-walkthrough","guiProven":false,"command":"Open LM Studio, then drag the downloaded 'DeepTheorem-qwen-3b-rl.i1-Q4_K_M.gguf' into My Models to load it.","note":"A walk-through for your machine, not a checked run path — these steps are guidance, never a promise it will run. LM Studio's own UI takes it from there.","prefilledFrom":{"file":"DeepTheorem-qwen-3b-rl.i1-Q4_K_M.gguf","templateSha256":"dccfd4215b4209bee6c2b9aa27ce585903e65a57f840c2dc5ac2a0dcef2afbac","sha256":"9b7c7ff62b810576222d06a00c60dc9337d4b33291fc06d044b25bf4137a627b"},"guideCheckedAt":"2026-09-22","guideCheckedBy":"hugging-bay-docs","guideVersion":5},{"tool":"ollama","label":"Ollama","note":"Builds a local Ollama model named \"deeptheorem-qwen-3b-rl.i1-q4_k_m\" from the file (Ollama imports the file's embedded chat template) and starts a chat.","prefilledFrom":{"file":"DeepTheorem-qwen-3b-rl.i1-Q4_K_M.gguf","templateSha256":"dccfd4215b4209bee6c2b9aa27ce585903e65a57f840c2dc5ac2a0dcef2afbac","sha256":"9b7c7ff62b810576222d06a00c60dc9337d4b33291fc06d044b25bf4137a627b"},"guideCheckedAt":"2026-09-22","guideCheckedBy":"hugging-bay-docs","guideVersion":5},{"tool":"llama.cpp","label":"llama.cpp (terminal)","kind":"terminal","proven":true,"note":"Runs the file directly with llama.cpp's command-line tool. -st (--single-turn) runs one turn with the model's embedded chat template and exits — tested on llama.cpp b10964-b29c606e2. The old -no-cnv flag was removed and is rejected by current builds.","runner":{"name":"llama.cpp","testedBuild":"b10964-b29c606e2","singleTurnFlag":"-st"},"prefilledFrom":{"file":"DeepTheorem-qwen-3b-rl.i1-Q4_K_M.gguf","templateSha256":"dccfd4215b4209bee6c2b9aa27ce585903e65a57f840c2dc5ac2a0dcef2afbac","sha256":"9b7c7ff62b810576222d06a00c60dc9337d4b33291fc06d044b25bf4137a627b"},"guideCheckedAt":"2026-09-22","guideCheckedBy":"hugging-bay-docs","guideVersion":5},{"tool":"python","label":"Python (llama-cpp-python)","command":"pip install llama-cpp-python && python -c 'from llama_cpp import Llama; llm = Llama(\"./DeepTheorem-qwen-3b-rl.i1-Q4_K_M.gguf\", n_ctx=8192); print(llm.create_chat_completion(messages=[{'\\''role'\\'': '\\''user'\\'', '\\''content'\\'': '\\''Hello!'\\''}])['\\''choices'\\''][0]['\\''message'\\'']['\\''content'\\''])'","note":"For scripting the model from Python; create_chat_completion applies the embedded chat template.","prefilledFrom":{"file":"DeepTheorem-qwen-3b-rl.i1-Q4_K_M.gguf","templateSha256":"dccfd4215b4209bee6c2b9aa27ce585903e65a57f840c2dc5ac2a0dcef2afbac","sha256":"9b7c7ff62b810576222d06a00c60dc9337d4b33291fc06d044b25bf4137a627b"},"guideCheckedAt":"2026-09-22","guideCheckedBy":"hugging-bay-docs","guideVersion":5}],"runBlockKind":"hosted-file-recipe","chatContract":{"available":true,"source":"gguf-metadata:tokenizer.chat_template","sourceFileSha256":"9b7c7ff62b810576222d06a00c60dc9337d4b33291fc06d044b25bf4137a627b","templateSha256":"dccfd4215b4209bee6c2b9aa27ce585903e65a57f840c2dc5ac2a0dcef2afbac","templateText":"{{ bos_token }}A conversation between User and Assistant. The User gives a statement, and the Assistant either proves or disproves it. The Assistant first thinks about the reasoning process in the mind and then provides the User with the answer. The reasoning process is enclosed within <think> </think> and answer is enclosed within <answer> </answer> tags, respectively, i.e., <think> reasoning process here </think> <answer> answer here </answer>. {% for message in messages %}{% if message['role'] == 'user' %}User: If you prove the statement, answer with \"proved\". If you disprove the statement, answer with \"disproved\". You must put your answer inside <answer> </answer> tags, i.e., <answer> \\boxed{proved} or \\boxed{disproved} </answer>. And your final answer will be extracted automatically by the \\boxed{} tag.\nThis is the problem:\n{{ message['content'] }}\n{% elif message['role'] == 'assistant' %}Assistant: <think>{{ message['content'] }}</answer>\n{% endif %}{% endfor %}{% if add_generation_prompt %}Assistant: <think>{% endif %}","extractedAt":"2026-09-24","extractionStage":"ingest.template-extract/v1","architecture":"qwen2","contextLength":32768,"stop":["<|endoftext|>"],"thinking":{"mode":"delimited","open":"<think>","close":"</think>"}},"artifact":{"id":"hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf","repo":"mradermacher/DeepTheorem-qwen-3b-rl-i1-GGUF","type":"llm","summary":"Model from Hugging Face for llm: mradermacher/DeepTheorem-qwen-3b-rl-i1-GGUF · transformers","license":"mit","hostingStatus":"hosted","hostedFileCount":1,"hostedFileCountAuthority":"live-serve-decision","displayFileCount":1,"fileCount":27,"upstreamUrl":"https://huggingface.co/mradermacher/DeepTheorem-qwen-3b-rl-i1-GGUF"},"tool":"any","toolCompatibility":{"status":"unknown","reason":"recorded-evaluator-not-integrated"},"readiness":"unknown","requiredFiles":[{"path":".gitattributes","sizeBytes":3331,"sha256":"","format":"gitattributes","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":false,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-IQ1_M.gguf","sizeBytes":952127136,"sha256":"bf54d09c49718a0ecd97ccec784962e22e1d297ac381280d53c99774dd148ae3","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-IQ1_S.gguf","sizeBytes":893193888,"sha256":"1980a2e210cea8ae3136e37edf9cf2beba957b15601e60e41287208c7c0006ce","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-IQ2_M.gguf","sizeBytes":1274218144,"sha256":"594f43b7b11d823807971b0e61b2df683b527b745b942af65ea3a9ee6e44254f","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-IQ2_S.gguf","sizeBytes":1195640480,"sha256":"e0ccca284c6c9f79fad4b0938b314262fa23776ef26fc29130eb90e71e7672ec","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-IQ2_XS.gguf","sizeBytes":1133645472,"sha256":"94fce6e2cb0c3841e9be70d7c495529b81928bb600392f9d4828c507b6f714db","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-IQ2_XXS.gguf","sizeBytes":1050349216,"sha256":"e5e2899621f16c58b8c923f9b4661831fcbbbdebe2bd199246ad1596bb516211","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-IQ3_M.gguf","sizeBytes":1622597280,"sha256":"fc38c80b2ca6e5c8a130b32229d15f37126bef047e7de071d4cdec57cf051e75","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-IQ3_S.gguf","sizeBytes":1590566560,"sha256":"fa3b84ba1299571fc887f8fc8706ed946b6be19de5f7d73862c061fc3d02e4b1","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-IQ3_XS.gguf","sizeBytes":1525538464,"sha256":"b665944533d1aeaa66376a51425ffa58ca4c7b0284ff353c15c705fc5a6bf9e5","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-IQ3_XXS.gguf","sizeBytes":1416529568,"sha256":"95ac3ffc1a5fdea34a221bc59586e8453e99edcbbad34ecdf61690fb96b8a2bc","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-IQ4_NL.gguf","sizeBytes":2000238240,"sha256":"95372b2e9cd51d1f1314faeaba6c00ac13235c12e4da1801bc2d5fe0878e7f60","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-IQ4_XS.gguf","sizeBytes":1904400032,"sha256":"a88c8f8e293d64aaf6d5786364cb1c19c01afaab87484dff11a7195817a777e9","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-Q2_K.gguf","sizeBytes":1376855712,"sha256":"578bcefb19e7e1fb6ada90d09bf19ff948af61f70c0ee5bd7f9927843cec6dbb","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-Q2_K_S.gguf","sizeBytes":1300227744,"sha256":"60de87d0663c196c39a4424775a2da54ec8953543a9b3a4c18159ced811aedbe","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-Q3_K_L.gguf","sizeBytes":1841094304,"sha256":"8dc5b587d9544babacc21b266854d38525e1d4f9f11ffcc14337ef9311de95ef","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-Q3_K_M.gguf","sizeBytes":1724178080,"sha256":"71acfa12a542161d8a0f30b2ebb5d8e50fbff866bfeaa851835dd3aba367ac49","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-Q3_K_S.gguf","sizeBytes":1588059808,"sha256":"b050248e822ca3f702c81544e81ead33d40f5695dabebef6ebe6865ce1a268c9","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-Q4_0.gguf","sizeBytes":2003515040,"sha256":"85f28a197a10c87eeba1c29d382bf2c4a25d833bfb789d44e4ac0729a16587c9","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-Q4_1.gguf","sizeBytes":2190735008,"sha256":"42685b4f2ae12c6b421f7e6144ccd94642af0014c49a25c6811b6021a2b63654","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-Q4_K_M.gguf","sizeBytes":2104932000,"sha256":"9b7c7ff62b810576222d06a00c60dc9337d4b33291fc06d044b25bf4137a627b","format":"gguf","risk":"low","sourceKind":"mirrored-upstream","hosted":true,"readiness":"unknown","downloadReady":null,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":true,"serveDecision":{"state":"UNKNOWN","reasonCodes":[]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf/DeepTheorem-qwen-3b-rl.i1-Q4_K_M.gguf","chatTemplate":{"artifactId":"hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf","filePath":"DeepTheorem-qwen-3b-rl.i1-Q4_K_M.gguf","sha256":"9b7c7ff62b810576222d06a00c60dc9337d4b33291fc06d044b25bf4137a627b","architecture":"qwen2","generalName":"DeepTheorem Qwen 3b Rl","tokenizerModel":"gpt2","contextLength":32768,"bos":null,"eos":"<|endoftext|>","stop":["<|endoftext|>"],"thinking":{"mode":"delimited","open":"<think>","close":"</think>"},"chatTemplate":"{{ bos_token }}A conversation between User and Assistant. The User gives a statement, and the Assistant either proves or disproves it. The Assistant first thinks about the reasoning process in the mind and then provides the User with the answer. The reasoning process is enclosed within <think> </think> and answer is enclosed within <answer> </answer> tags, respectively, i.e., <think> reasoning process here </think> <answer> answer here </answer>. {% for message in messages %}{% if message['role'] == 'user' %}User: If you prove the statement, answer with \"proved\". If you disprove the statement, answer with \"disproved\". You must put your answer inside <answer> </answer> tags, i.e., <answer> \\boxed{proved} or \\boxed{disproved} </answer>. And your final answer will be extracted automatically by the \\boxed{} tag.\nThis is the problem:\n{{ message['content'] }}\n{% elif message['role'] == 'assistant' %}Assistant: <think>{{ message['content'] }}</answer>\n{% endif %}{% endfor %}{% if add_generation_prompt %}Assistant: <think>{% endif %}","templateDigest":"sha256:dccfd4215b4209bee6c2b9aa27ce585903e65a57f840c2dc5ac2a0dcef2afbac","extractionReason":"embedded-template","extractorVersion":"hugging-bay.gguf-embedded-chat-contract.v1","extractedAt":"2026-09-24T04:03:58.139Z","hasEmbeddedTemplate":true},"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-Q4_K_S.gguf","sizeBytes":2009413280,"sha256":"9f92b28c460078bfe256fc75ef7ea6220ba76bd5cfeff626a2a9013d22984022","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-Q5_K_M.gguf","sizeBytes":2438739616,"sha256":"1aa5738f1a5b65cbee3f4030d9ca0b548edaeb632d11636a3a98550014fc7035","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-Q5_K_S.gguf","sizeBytes":2383591072,"sha256":"5b4e8c8e79c4bffb0180f194f6aa8c2b7e2551a892952a3ac01d5638fd29a9bb","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-Q6_K.gguf","sizeBytes":2793410208,"sha256":"c31ff115173299b60fdeb439d2b59e656357727d387068d97ed3813c4942caee","format":"gguf","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"README.md","sizeBytes":5661,"sha256":"","format":"md","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":false,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"imatrix.dat","sizeBytes":3362977,"sha256":"f5a2606fa790c788bbb5de1ce2f9a08a58dee64f36863bc725a3b0df380c571f","format":"dat","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"}],"warnings":["This description is temporarily unavailable."],"nextActions":[{"label":"Inspect recorded bundle state","url":"https://huggingbay.xyz/api/artifacts/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf/bundle","method":"GET"},{"label":"List individually hashed hosted files","url":"https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf&limit=100","method":"GET"},{"label":"Inspect trust bundle","url":"https://huggingbay.xyz/api/trust-bundles/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf","method":"GET"},{"label":"Open artifact","url":"https://huggingbay.xyz/artifact/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf","method":"GET"}],"docs":{"artifactUrl":"https://huggingbay.xyz/artifact/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf","downloadsUrl":"https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf&limit=100","bundleUrl":"https://huggingbay.xyz/api/artifacts/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf/bundle","trustBundleUrl":"https://huggingbay.xyz/api/trust-bundles/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"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":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"}}