LLM-EDA
/

VeriPrefer-deepseek-coder-7b-v1.5

Model card Files Files and versions Community

Check https://github.com/CatIIIIIIII/VeriPrefer for usage.

Downloads last month: 9

Safetensors

Model size

6.91B params

Tensor type

BF16

·

Inference Providers NEW

This model isn't deployed by any Inference Provider. 🙋 Ask for provider support

Model tree for LLM-EDA/VeriPrefer-deepseek-coder-7b-v1.5

Base model

deepseek-ai/deepseek-coder-7b-instruct-v1.5

Finetuned

(14)

this model

Quantizations

1 model

Dataset used to train LLM-EDA/VeriPrefer-deepseek-coder-7b-v1.5

Collection including LLM-EDA/VeriPrefer-deepseek-coder-7b-v1.5

VeriPrefer

Models and data for the paper "Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning from Testbench Feedback" • 10 items • Updated 7 days ago • 2