Models and datasets for loop invariant generation task
ido Pinto
idopinto
AI & ML interests
None yet
Recent Activity
updated a model 1 day ago
idopinto/qwen3-14b-nt-gen-inv-sft-v2.2-full published a model 1 day ago
idopinto/qwen3-14b-nt-gen-inv-sft-v2.2-full updated a model 1 day ago
idopinto/qwen3-8b-nt-gen-inv-sft-v2.2-fullOrganizations
None yet
models 30
idopinto/qwen3-14b-nt-gen-inv-sft-v2.2-full
Text Generation • 15B • Updated • 24
idopinto/qwen3-8b-nt-gen-inv-sft-v2.2-full
Text Generation • 8B • Updated • 4
idopinto/qwen3-8b-nt-gen-inv-sft-v2-test
Text Generation • 8B • Updated • 310
idopinto/qwen3-0.6b-nt-gen-inv-sft-v2-test
Text Generation • 0.6B • Updated • 1
idopinto/qwen3-0.6b-gen-inv-sft-v1-latest-test
Text Generation • 0.6B • Updated
idopinto/qwen3-8b-gen-inv-sft-v1-latest-test
Updated
idopinto/qwen3-14b-nt-gen-inv-sft-v1
Updated
idopinto/qwen3-4b-instruct-2507-nt-gen-inv-sft-v0-latest
Text Generation • 4B • Updated • 3
idopinto/qwen3-4b-instruct-2507-nt-gen-inv-sft-v1-latest
Text Generation • 4B • Updated • 6
idopinto/qwen3-14b-nt-gen-inv-sft-v0
Updated
datasets 15
idopinto/filtered-dafnybench-latest
Viewer • Updated • 497 • 30
idopinto/wonda-qwen-nt-sft-v2-g2
Viewer • Updated • 7.28k • 19
idopinto/wonda-qwen-nt-sft-v1
Viewer • Updated • 3.71k • 15
idopinto/wonda-qwen-nt-sft-v0
Viewer • Updated • 3.65k • 14
idopinto/wonda-qwen-nt-sft-v2-g1
Viewer • Updated • 7.48k • 15
idopinto/invbench-train-uautomizer25-k1-v2.3
Viewer • Updated • 2.77k • 8
idopinto/invbench-train-uautomizer25-k1-v2.2
Viewer • Updated • 7.28k • 12
idopinto/invbench-train-uautomizer25-k1-v2.1
Viewer • Updated • 7.48k • 9
idopinto/wonda-train-dataset-full-v2
Viewer • Updated • 7.76k • 13
idopinto/wonda-eval-benchmark-full
Viewer • Updated • 438 • 42