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.

01tsinghua-sigs-robot-lab /VeriLoop-Coder-E1text-generationtransformersen26 likes432 downloads1mo agoHugging Face 02SYX /llama3_based_claim_verifierpeft2 likes138 downloads2y agoHugging Face 03omerfarooq223 /gemma-4-12b-evidence-verification-qloratext-generationpeften0 likes56 downloads19d agoHugging Face 04manifesta /adaption_verified_math_code_instructimage-text-to-textpeften0 likes48 downloads1mo agoHugging Face 05agentica-org /DeepSWE-Verifierpeft9 likes27 downloads1y agoHugging Face 06Jongbin-kr /qwen2.5-coder-7b-verireason-grpo-custom-sft-1.0text-generationpeft0 likes26 downloads18d agoHugging Face 07Veilance /Verity-1.7B-Betatext-generationpeften0 likes20 downloads10d agoHugging Face 08shibuina /drawvla-verify-smolvlm-256m-loraimage-text-to-textpeft0 likes18 downloads17d agoHugging Face 09Pablo-Flores-Mollinedo /verilog-qwen3.5-9b-v34-manual-structured-repair-loratext-generationpeft0 likes17 downloads4mo agoHugging Face 10verisbaby /vinai-translate-en2vi-v2-medev-loratranslationpeften-vi2 likes15 downloads3mo agoHugging Face 11sonyashijin /qwen3-32b-verilog-lorapeft0 likes14 downloads1y agoHugging Face 12Aayush5665 /verifai-medgemma-lora-v1text-generationpeft0 likes14 downloads7mo agoHugging Face 13Pablo-Flores-Mollinedo /verilog-qwen2.5-coder-7b-v10-auto-distilled-direct-loratext-generationpeft0 likes14 downloads4mo agoHugging Face 14Pablo-Flores-Mollinedo /verilog-qwen3.5-9b-v32-migration-loratext-generationpeft0 likes14 downloads4mo agoHugging Face 15shibuina /drawvla-verify-qwen3vl-4b-loraimage-text-to-textpeft0 likes14 downloads17d agoHugging Face 16Best-Verie /bestverie-bank-loratext-generationpeft0 likes13 downloads7mo agoHugging Face 17Pablo-Flores-Mollinedo /verilog-qwen2.5-coder-7b-v27-other-remaining-loratext-generationpeft0 likes13 downloads4mo agoHugging Face 18Pablo-Flores-Mollinedo /verilog-qwen3.5-9b-v33-thinking-reinforced-loratext-generationpeft0 likes13 downloads4mo agoHugging Face 19shibuina /drawvla-verify-qwen3vl-2b-loraimage-text-to-textpeft0 likes13 downloads17d agoHugging Face 20shibuina /drawvla-verify-smolvlm-500m-loraimage-text-to-textpeft0 likes13 downloads17d agoHugging Face 21Veilance /Verity-1.7B-Alphatext-generationpeften0 likes13 downloads9d agoHugging Face 22tusharislampure29 /VerifierBench-Hardened-3Bpeft0 likes12 downloads3mo agoHugging Face 23hyungjoochae /qwen3-vl-4b-lora-verienv-somtext-generationpeft0 likes11 downloads6mo agoHugging Face 24Pablo-Flores-Mollinedo /verilog-qwen2.5-coder-7b-strict-loratext-generationpeft0 likes11 downloads4mo agoHugging Face 25asmanovlev /veriloop-coder-e1-hereticpeften1 likes11 downloads2mo agoHugging Face 26vxkyyy /verilog-specialist-32b-adapterstext-generationpeft1 likes10 downloads6mo agoHugging Face 27tiffuhknee /qwen3-1.7b-newsroom-verifierpeft0 likes10 downloads3mo agoHugging Face 28Jongbin-kr /exaone_7b_verireason_vanilla_grpo-r02e5-hpft-stabletext-generationpeft0 likes10 downloads1mo agoHugging Face 29mahmad1882 /llama3-8b-instruct-verification-lorapeft0 likes9 downloads1y agoHugging Face 30vibesecurityguy /veris-classifier-v1text-generationpeften0 likes9 downloads7mo agoHugging Face

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