Models and datasets for loop invariant generation task
ido Pinto
idopinto
AI & ML interests
None yet
Recent Activity
updated a model about 15 hours ago
idopinto/qwen3-8b-full-nt-gen-inv-sft-v2-g2-e3 published a model about 15 hours ago
idopinto/qwen3-8b-full-nt-gen-inv-sft-v2-g2-e3 updated a model about 16 hours ago
idopinto/qwen3-14b-full-nt-gen-inv-sft-v2-g2-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 35
idopinto/qwen3-8b-full-nt-gen-inv-sft-v2-g2-e3
Text Generation • 8B • Updated • 39
idopinto/qwen3-14b-full-nt-gen-inv-sft-v2-g2-e3
Text Generation • 15B • Updated • 163
idopinto/qwen3-14b-full-nt-gen-inv-sft-v2-g3-e3
Text Generation • 15B • Updated • 136
idopinto/llama3-8b-full-gen-inv-sft-v2-g2-e3
Text Generation • Updated • 113
idopinto/qwen3-8b-full-nt-gen-inv-sft-v2-g3-e3
Text Generation • Updated • 107
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 • 316
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
datasets 15
idopinto/filtered-dafnybench-latest
Viewer • Updated • 497 • 30
idopinto/wonda-qwen-nt-sft-v2-g2
Viewer • Updated • 7.28k • 25
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