Models and datasets for loop invariant generation task
ido Pinto
idopinto
AI & ML interests
None yet
Recent Activity
updated
a collection
3 days ago
Wonda
updated
a collection
3 days ago
Wonda
updated
a collection
3 days ago
Wonda
Organizations
None yet
models
27
idopinto/qwen3-0.6b-nt-gen-inv-sft-v2-test
Text Generation
•
0.6B
•
Updated
•
9
idopinto/qwen3-0.6b-gen-inv-sft-v1-latest-test
Text Generation
•
0.6B
•
Updated
•
10
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
•
15
idopinto/qwen3-4b-instruct-2507-nt-gen-inv-sft-v1-latest
Text Generation
•
4B
•
Updated
•
25
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
datasets
13
idopinto/wonda-qwen-nt-sft-v2-g2
Viewer
•
Updated
•
7.28k
•
16
idopinto/wonda-qwen-nt-sft-v1
Viewer
•
Updated
•
3.71k
•
15
idopinto/wonda-qwen-nt-sft-v0
Viewer
•
Updated
•
3.65k
•
13
idopinto/wonda-qwen-nt-sft-v2-g1
Viewer
•
Updated
•
7.48k
•
11
idopinto/invbench-train-uautomizer25-k1-v2.3
Viewer
•
Updated
•
2.77k
•
32
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/wonda-train-dataset-full-v2
Viewer
•
Updated
•
7.76k
•
41
idopinto/wonda-eval-benchmark-full
Viewer
•
Updated
•
438
•
133
idopinto/invbench-eval-uautomizer25-k3-l40s-full
Viewer
•
Updated
•
438
•
10