CoolFace
30 shown

models

Open weights, fine-tunes and adapters. Every listing here comes live from the Hugging Face Hub, attributed to it, and links back to the source.

Clear all
01bartowski /soob3123_Veritas-12B-GGUFtext-generationen3 likes3.1k downloads1y agoHugging Face02mradermacher /VeriSeek-GGUFtransformersen0 likes2.1k downloads2y agoHugging Face03mradermacher /Veritas-12B-i1-GGUFtext-generationtransformersen0 likes1.9k downloads1y agoHugging Face04mradermacher /VerIPO-7B-v1.0-i1-GGUFtransformersen0 likes1.5k downloads1y agoHugging Face05rodrigoramosrs /veriloop-coder-e1-gguftext-generationtransformersen14 likes1.3k downloads2mo agoHugging Face06mradermacher /veritas-8B-fact-checker-non-thinking-1.0-i1-GGUFtransformersen1 likes1.3k downloads4mo agoHugging Face07mradermacher /GUI-Actor-Verifier-2B-i1-GGUFtransformersen1 likes1.2k downloads1y agoHugging Face08mradermacher /VeriReason-Qwen2.5-7b-RTLCoder-Verilog-GRPO-reasoning-tb-i1-GGUFreinforcement-learningtransformersen4 likes1.1k downloads1y agoHugging Face09mradermacher /VeriOS-Agent-7B-i1-GGUFtransformersen1 likes1.1k downloads10mo agoHugging Face10mradermacher /VeriUS-LLM-8b-v0.2-i1-GGUFtransformersen0 likes1k downloads2y agoHugging Face11mradermacher /R1-VeriThinker-7B-i1-GGUFtransformersen0 likes988 downloads1y agoHugging Face12mradermacher /general-verifier-i1-GGUFtransformersen0 likes968 downloads1y agoHugging Face13tsinghua-sigs-robot-lab /VeriLoop-E2text-generationtransformersen13 likes917 downloads13h agoHugging Face14mradermacher /VeriCoder_Gemma12b-i1-GGUFtransformersen1 likes870 downloads8mo agoHugging Face15mradermacher /VeriReason-Qwen2.5-7b-SFT-Reasoning-i1-GGUFreinforcement-learningtransformersen1 likes840 downloads1y agoHugging Face16mradermacher /GUI-Actor-Verifier-2B-GGUFtransformersen1 likes752 downloads1y agoHugging Face17mradermacher /VeriThoughts-Reasoning-32B-Qwen3-GGUFtransformersen0 likes673 downloads1y agoHugging Face18Kevletesteur /DeepSeek-V4-Flash-0731-StrixHalo-Verified-GGUFen16 likes633 downloads2mo agoHugging Face19mradermacher /Veritas-12B-GGUFtext-generationtransformersen0 likes628 downloads1y agoHugging Face20mradermacher /VeriPrefer-Qwen2.5-Coder-7B-GGUFtransformersen1 likes621 downloads1y agoHugging Face21mradermacher /VeriReason-Qwen2.5-3B-Verilog-RTL-GRPO-reasoning-tb-GGUFreinforcement-learningtransformersen0 likes590 downloads1y agoHugging Face22TIGER-Lab /general-verifierquestion-answeringtransformersen21 likes585 downloads1y agoHugging Face23mradermacher /DCFT-OpenThinker-Verified-Llama-3_3-70B-bs-1024-i1-GGUFtransformersen0 likes580 downloads2y agoHugging Face24mradermacher /VerIPO-7B-v1.0-GGUFtransformersen0 likes572 downloads1y agoHugging Face25mradermacher /general-verifier-GGUFtransformersen0 likes548 downloads1y agoHugging Face26mradermacher /VeriReason-Qwen2.5-7b-RTLCoder-Verilog-GRPO-reasoning-tb-GGUFreinforcement-learningtransformersen1 likes536 downloads1y agoHugging Face27verify01234 /trytext-generationtransformersai-dna0 likes519 downloads23d agoHugging Face28mradermacher /VeriReason-Qwen2.5-1.5B-grpo-small-GGUFreinforcement-learningtransformersen1 likes516 downloads1y agoHugging Face29mradermacher /DCFT-Stratos-Verified-114k-Llama-3_3-70B-bs-256-i1-GGUFtransformersen0 likes497 downloads2y agoHugging Face30mradermacher /VeriOS-Agent-7B-GGUFtransformersen1 likes488 downloads11mo agoHugging Face

Listings come live from the Hugging Face Hub API. CoolFace does not host these files.