LLM-EDA
/

VeriPrefer-CodeLlama-7b

Model card Files Files and versions Community

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

Downloads last month: 20

Safetensors

Model size

6.74B 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-CodeLlama-7b

Base model

meta-llama/CodeLlama-7b-Instruct-hf

Finetuned

(16)

this model

Quantizations

1 model

Dataset used to train LLM-EDA/VeriPrefer-CodeLlama-7b

Collection including LLM-EDA/VeriPrefer-CodeLlama-7b

VeriPrefer

Models and data for the paper "Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning from Testbench Feedback" • 10 items • Updated Apr 24 • 3