Models and datasets for loop invariant generation task
ido Pinto
idopinto
AI & ML interests
None yet
Recent Activity
updated a model about 10 hours ago
idopinto/qwen3-4b-nt-g3-stage-from-v22-e1 published a model about 10 hours ago
idopinto/qwen3-4b-nt-g3-stage-from-v22-e1 updated a model about 16 hours ago
idopinto/qwen3-4b-full-nt-gen-inv-sft-v2-g3-e3Organizations
None yet
Reconstruction of ASPIRE variants detailed in the original paper + fine-tuning experiments from different base models.
-
idopinto/ts-aspire-biomed-recon
Feature Extraction • 0.1B • Updated -
idopinto/ot-aspire-biomed-recon
Feature Extraction • 0.1B • Updated • 2 -
idopinto/co-specter-biomed-recon
Feature Extraction • 0.1B • Updated -
idopinto/ts-aspire-biomed-specter2
Feature Extraction • 0.1B • Updated • 1
Models and datasets for loop invariant generation task
Reconstruction of ASPIRE variants detailed in the original paper + fine-tuning experiments from different base models.
-
idopinto/ts-aspire-biomed-recon
Feature Extraction • 0.1B • Updated -
idopinto/ot-aspire-biomed-recon
Feature Extraction • 0.1B • Updated • 2 -
idopinto/co-specter-biomed-recon
Feature Extraction • 0.1B • Updated -
idopinto/ts-aspire-biomed-specter2
Feature Extraction • 0.1B • Updated • 1
models 37
idopinto/qwen3-4b-nt-g3-stage-from-v22-e1
4B • Updated
idopinto/qwen3-4b-full-nt-gen-inv-sft-v2-g3-e3
Text Generation • 4B • Updated • 296
idopinto/qwen3-8b-full-nt-gen-inv-sft-v2-g2-e3
Text Generation • 8B • Updated • 481
idopinto/qwen3-14b-full-nt-gen-inv-sft-v2-g2-e3
Text Generation • 15B • Updated • 584
idopinto/qwen3-14b-full-nt-gen-inv-sft-v2-g3-e3
Text Generation • 15B • Updated • 231
idopinto/llama3-8b-full-gen-inv-sft-v2-g2-e3
Text Generation • Updated • 138
idopinto/qwen3-8b-full-nt-gen-inv-sft-v2-g3-e3
Text Generation • Updated • 132
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 • 10
idopinto/qwen3-8b-nt-gen-inv-sft-v2-test
Text Generation • 8B • Updated • 317
datasets 15
idopinto/filtered-dafnybench-latest
Viewer • Updated • 497 • 30
idopinto/wonda-qwen-nt-sft-v2-g2
Viewer • Updated • 7.28k • 26
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 • 14
idopinto/invbench-train-uautomizer25-k1-v2.3
Viewer • Updated • 2.77k • 6
idopinto/invbench-train-uautomizer25-k1-v2.2
Viewer • Updated • 7.28k • 10
idopinto/invbench-train-uautomizer25-k1-v2.1
Viewer • Updated • 7.48k • 7
idopinto/wonda-train-dataset-full-v2
Viewer • Updated • 7.76k • 11
idopinto/wonda-eval-benchmark-full
Viewer • Updated • 438 • 75