Models and datasets for loop invariant generation task
ido Pinto
idopinto
AI & ML interests
None yet
Recent Activity
published
a model
about 3 hours ago
idopinto/qwen3-8b-gen-inv-sft-v1-latest-test
updated
a collection
about 18 hours ago
Wonda
updated
a collection
about 18 hours ago
Wonda
Organizations
None yet
models
25
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
•
12
idopinto/qwen3-4b-instruct-2507-nt-gen-inv-sft-v1-latest
Text Generation
•
4B
•
Updated
•
21
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
•
7
idopinto/qwen3-1.7b-nt-gen-inv-sft-v2.2-latest
Text Generation
•
2B
•
Updated
•
9
idopinto/qwen3-8b-nt-gen-inv-sft-v2.2-latest
Updated
idopinto/qwen3-8b-nt-gen-inv-sft-v2.3-latest
Updated
datasets
9
idopinto/invbench-train-uautomizer25-k1-v2.3
Viewer
•
Updated
•
2.77k
•
30
idopinto/invbench-train-uautomizer25-k1-v2.2
Viewer
•
Updated
•
7.28k
•
28
idopinto/invbench-train-uautomizer25-k1-v2.1
Viewer
•
Updated
•
7.48k
•
22
idopinto/invbench-train-uautomizer25-k1-full-parallel-latest
Viewer
•
Updated
•
7.76k
•
32
idopinto/wonda-eval-benchmark-full
Viewer
•
Updated
•
438
•
124
idopinto/invbench-eval-uautomizer25-k3-l40s-full
Viewer
•
Updated
•
438
•
75
idopinto/wonda-train-dataset-full-raw
Viewer
•
Updated
•
7.03k
•
22
idopinto/invbench-eval-uautomizer25-k3-full
Viewer
•
Updated
•
438
•
2
idopinto/clover-bench-gen
Viewer
•
Updated
•
60
•
1