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.
CoqLLM-FineTuned-Experiment-Gen0defend-identity-lora-v002verilog-qwen3.5-9b-v34-manual-structured-repair-loraverilog-qwen2.5-coder-7b-v10-auto-distilled-direct-loraverilog-qwen3.5-9b-v32-migration-loraflorence2-parasitic-egg-detection-version2florence2-parasitic-egg-detection-version3verilog-qwen2.5-coder-7b-v27-other-remaining-loraverilog-qwen3.5-9b-v33-thinking-reinforced-loraverilog-qwen2.5-coder-7b-strict-lorafloria-lora-2.0florence2_outputflorence2-pitvqa-finetunedverilog-qwen2.5-coder-7b-v9-auto-distilled-direct-loraflorin-tau2-retail-30bLlama_1B_inst_in22_flores_ftverilog-qwen2.5-coder-7b-v30b-delta-distilled-loraoutputsflorence2-parasitic-egg-detectionverilog-qwen2.5-coder-7b-v26s-seq-shift-synth-augmented-loraverilog-qwen2.5-coder-7b-v11-v9-repair-distilled-direct-loraMistral-7B-Instruct-v0.3-flora-v0verilog-qwen2.5-coder-7b-v26s-comb-vector-synth-augmented-loraverilog-qwen2.5-coder-7b-v26s-case-kmap-synth-augmented-lorallama-3.3-70b-it-soo-1764
