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.
Llama-3-Base-8B-DICE-Iter1-i1-GGUFLlama-3-Base-8B-DICE-Iter2-i1-GGUFLlama-3-Base-8B-DICE-Iter2-GGUFZephyr-7B-DICE-Iter1-GGUFLlama-3-Base-8B-DICE-Iter1-GGUFZephyr-7B-DICE-Iter2-GGUFlola_v1Advanced_Risk_Dice_llama-GGUFDicephal-123B-GGUFAdvanced_Risk_Dice_Qwen3-4B-GGUFDicephal-123B-i1-GGUFVeriThoughts-Reasoning-7Bnyu-dice-lab_VeriThoughts-Reasoning-7B-GGUFZephyr-7B-DICE-Iter2Zephyr-7B-DICE-Iter1VeriThoughts-Instruct-7BLlama-3-Base-8B-DICE-Iter2Llama-3-Base-8B-DICE-Iter1Mistral-7B-Base-SFT-ShareGPT-VicunaVeriThoughts-Reasoning-7B-LF-Testlola_v1_alpaca_instructionsDicephal-123BMistral-Instruct-v0.3-Verilog-7Blola_v1_alpaca_instructions_multilingualCrackSeg-MIT-b0-diceVeriThoughts-Reasoning-7B-Qwen3Qwen-2.5-Instruct-Verilog-Reasoning-7BVeriThoughts-Reasoning-32B-Qwen3Qwen-2.5-Instruct-Unverified-Verilog-Reasoning-GT-7BVeriThoughts-Reasoning-14B