idopinto/qwen3-14b-nt-gen-inv-sft-v2.2
Updated
Wonda
Models and datasets for loop invariant generation task
-
-
idopinto/qwen3-14b-nt-gen-inv-sft-v1
Updated -
idopinto/qwen3-14b-nt-gen-inv-sft-v0
Updated -
idopinto/qwen3-8b-nt-gen-inv-sft-v2.2-latest
Updated -
idopinto/qwen3-8b-nt-gen-inv-sft-v1-latest
Updated -
idopinto/qwen3-8b-nt-gen-inv-sft-v0-latest
Updated -
idopinto/qwen3-4b-instruct-2507-nt-gen-inv-sft-v2.2-latest
Text Generation • 4B • Updated • 22 -
idopinto/qwen3-4b-instruct-2507-nt-gen-inv-sft-v1-latest
Text Generation • 4B • Updated • 31 -
idopinto/qwen3-4b-instruct-2507-nt-gen-inv-sft-v0-latest
Text Generation • 4B • Updated • 26 -
idopinto/qwen3-1.7b-nt-gen-inv-sft-v2.2-latest
Text Generation • 2B • Updated • 3 -
idopinto/qwen3-0.6b-nt-gen-inv-sft-v2.2-latest
Text Generation • 0.6B • Updated • 24 -
idopinto/qwen3-0.6b-nt-gen-inv-sft-v1-latest
Text Generation • 0.6B • Updated • 24 -
idopinto/qwen3-0.6b-nt-gen-inv-sft-v0-latest
Text Generation • 0.6B • Updated • 25 -
idopinto/wonda-eval-benchmark-full
Viewer • Updated • 438 • 149 -
idopinto/invbench-train-uautomizer25-k1-v2.3
Viewer • Updated • 2.77k • 12 -
idopinto/invbench-train-uautomizer25-k1-v2.2
Viewer • Updated • 7.28k • 8 -
idopinto/invbench-train-uautomizer25-k1-v2.1
Viewer • Updated • 7.48k • 8 -
idopinto/wonda-train-dataset-full-raw
Viewer • Updated • 7.03k • 37 -
idopinto/wonda-train-dataset-full-v2
Viewer • Updated • 7.76k • 15 -
idopinto/wonda-qwen-nt-sft-v2-g1
Viewer • Updated • 7.48k • 16 -
idopinto/wonda-qwen-nt-sft-v0
Viewer • Updated • 3.65k • 17 -
idopinto/wonda-qwen-nt-sft-v1
Viewer • Updated • 3.71k • 19 -
idopinto/wonda-qwen-nt-sft-v2-g2
Viewer • Updated • 7.28k • 21