Models and datasets for loop invariant generation task
ido Pinto
idopinto
AI & ML interests
None yet
Recent Activity
updated
a dataset about 2 hours ago
idopinto/filtered-dafnybench-latest published
a dataset about 2 hours ago
idopinto/filtered-dafnybench-latest updated
a collection
about 1 month ago
Wonda Organizations
None yet
models 27
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
• 22
idopinto/qwen3-4b-instruct-2507-nt-gen-inv-sft-v1-latest
Text Generation • 4B • Updated
• 30
idopinto/qwen3-14b-nt-gen-inv-sft-v0
Updated
idopinto/qwen3-14b-nt-gen-inv-sft-v2.2
Updated
idopinto/qwen3-4b-instruct-2507-nt-gen-inv-sft-v2.2-latest
Text Generation • 4B • Updated
• 22
idopinto/qwen3-1.7b-nt-gen-inv-sft-v2.2-latest
Text Generation • 2B • Updated
• 3
datasets 15
idopinto/filtered-dafnybench-latest
Updated
idopinto/wonda-qwen-nt-sft-v2-g2
Viewer
• Updated
• 7.28k • 15
idopinto/wonda-qwen-nt-sft-v1
Viewer
• Updated
• 3.71k • 14
idopinto/wonda-qwen-nt-sft-v0
Viewer
• Updated
• 3.65k • 13
idopinto/wonda-qwen-nt-sft-v2-g1
Viewer
• Updated
• 7.48k • 14
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 • 12
idopinto/wonda-train-dataset-full-v2
Viewer
• Updated
• 7.76k • 9
idopinto/wonda-eval-benchmark-full
Viewer
• Updated
• 438 • 154