Wonda-Qwen3-14B-nt-V2-gt2-e3 – AI Model by idopinto | AlphaNeural AI

You can deploy this model and start earning money today!

idopinto/
Wonda-Qwen3-14B-nt-V2-gt2-e3

like

0

text-generation

loop-invariants

program-verification

text-generation-inference

endpoints_compatible

Views

No views yet

Wonda-Qwen3-14B-nt-V2-gt2-e3

Full fine-tune of Qwen/Qwen3-14B 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/qwen3-14b-full-nt-gen-inv-sft-v2-g2-e3 (same weights).

Quick start

python

from transformers import pipeline

generator = pipeline(
    "text-generation",
    model="idopinto/Wonda-Qwen3-14B-nt-V2-gt2-e3",
    device="cuda",
)

See the Wonda repository for evaluation and training details.