metadata
library_name: transformers
tags: []
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!