Wonda-Llama3.1-8B-Instruct-V2-gt2-e3 – AI Model by idopinto | AlphaNeural AI

You can deploy this model and start earning money today!

idopinto/
Wonda-Llama3.1-8B-Instruct-V2-gt2-e3

like

0

text-generation

loop-invariants

program-verification

meta-llama/Llama-3.1-8B-Instruct

text-generation-inference

endpoints_compatible

Views

No views yet

Wonda-Llama3.1-8B-Instruct-V2-gt2-e3

Full fine-tune of meta-llama/Llama-3.1-8B-Instruct on the WONDA loop-invariant generation task.

Setting	Value
Dataset	WONDA V2 (`quality_grade >= 2`)
Training	Full fine-tune (no LoRA), 3 epochs
Task	Generate inductive loop invariants for C programs

Legacy name: idopinto/llama3-8b-full-gen-inv-sft-v2-g2-e3 (same weights).

Quick start

python

from transformers import pipeline

generator = pipeline(
    "text-generation",
    model="idopinto/Wonda-Llama3.1-8B-Instruct-V2-gt2-e3",
    device="cuda",
)

See the Wonda repository for evaluation and training details.