VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
Paper • 2505.20302 • Published • 1
Model Card
Reasoning model specialized for Verilog code.
Model Description
Model card for VeriThoughts-4B
- Developed by: VeriThoughts Team
- Finetuned from model: Qwen/Qwen-4B (LoRA adaptation)
Model Sources
- Repository: https://github.com/wilyub/VeriThoughts
- Paper https://arxiv.org/abs/2505.20302
- Demo: Coming soon!
Model Card Contact
Inference Providers NEW
This model isn't deployed by any Inference Provider. 🙋 Ask for provider support