Models and datasets for loop invariant generation task
ido Pinto
idopinto
AI & ML interests
None yet
Recent Activity
published a model 6 minutes ago
idopinto/qwen3-8b-full-nt-gen-inv-sft-v2-g2-e2 updated a model 1 day ago
idopinto/qwen3-4b-nt-g3-stage-from-v22-e1 published a model 1 day 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 -
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