Models and datasets for loop invariant generation task
ido Pinto
idopinto
AI & ML interests
None yet
Recent Activity
published a model 13 days ago
idopinto/qwen3-8b-full-nt-gen-inv-sft-v2-g2-e2 updated a model 14 days ago
idopinto/qwen3-4b-nt-g3-stage-from-v22-e1 published a model 14 days ago
idopinto/qwen3-4b-nt-g3-stage-from-v22-e1Organizations
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 • 2 -
idopinto/ot-aspire-biomed-recon
Feature Extraction • 0.1B • Updated • 3 -
idopinto/co-specter-biomed-recon
Feature Extraction • 0.1B • Updated • 1 -
idopinto/ts-aspire-biomed-specter2
Feature Extraction • 0.1B • Updated • 2
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 • 2 -
idopinto/ot-aspire-biomed-recon
Feature Extraction • 0.1B • Updated • 3 -
idopinto/co-specter-biomed-recon
Feature Extraction • 0.1B • Updated • 1 -
idopinto/ts-aspire-biomed-specter2
Feature Extraction • 0.1B • Updated • 2
models 38
idopinto/qwen3-8b-full-nt-gen-inv-sft-v2-g2-e2
Updated
idopinto/qwen3-4b-nt-g3-stage-from-v22-e1
4B • Updated • 20
idopinto/qwen3-4b-full-nt-gen-inv-sft-v2-g3-e3
Text Generation • 4B • Updated • 553
idopinto/qwen3-8b-full-nt-gen-inv-sft-v2-g2-e3
Text Generation • 8B • Updated • 548
idopinto/qwen3-14b-full-nt-gen-inv-sft-v2-g2-e3
Text Generation • 15B • Updated • 648
idopinto/qwen3-14b-full-nt-gen-inv-sft-v2-g3-e3
Text Generation • 15B • Updated • 265
idopinto/llama3-8b-full-gen-inv-sft-v2-g2-e3
Text Generation • Updated • 493
idopinto/qwen3-8b-full-nt-gen-inv-sft-v2-g3-e3
Text Generation • Updated • 162
idopinto/qwen3-14b-nt-gen-inv-sft-v2.2-full
Text Generation • 15B • Updated • 182
idopinto/qwen3-8b-nt-gen-inv-sft-v2.2-full
Text Generation • 8B • Updated • 11
datasets 15
idopinto/filtered-dafnybench-latest
Viewer • Updated • 497 • 31
idopinto/wonda-qwen-nt-sft-v2-g2
Viewer • Updated • 7.28k • 21
idopinto/wonda-qwen-nt-sft-v1
Viewer • Updated • 3.71k • 6
idopinto/wonda-qwen-nt-sft-v0
Viewer • Updated • 3.65k • 5
idopinto/wonda-qwen-nt-sft-v2-g1
Viewer • Updated • 7.48k • 6
idopinto/invbench-train-uautomizer25-k1-v2.3
Viewer • Updated • 2.77k • 6
idopinto/invbench-train-uautomizer25-k1-v2.2
Viewer • Updated • 7.28k • 7
idopinto/invbench-train-uautomizer25-k1-v2.1
Viewer • Updated • 7.48k • 7
idopinto/wonda-train-dataset-full-v2
Viewer • Updated • 7.76k • 9
idopinto/wonda-eval-benchmark-full
Viewer • Updated • 438 • 80