ido Pinto

idopinto's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a collection 5 days ago

Wonda

Collection

Models and datasets for loop invariant generation task • 24 items • Updated 5 days ago

updated a model 5 days ago

idopinto/qwen3-0.6b-nt-gen-inv-sft-v2-test

Text Generation • 0.6B • Updated 5 days ago • 9

published a model 5 days ago

idopinto/qwen3-0.6b-nt-gen-inv-sft-v2-test

Text Generation • 0.6B • Updated 5 days ago • 9

updated a dataset 5 days ago

idopinto/wonda-qwen-nt-sft-v2-g2

Viewer • Updated 5 days ago • 7.28k • 16

published a dataset 5 days ago

idopinto/wonda-qwen-nt-sft-v2-g2

Viewer • Updated 5 days ago • 7.28k • 16

updated a model 5 days ago

idopinto/qwen3-0.6b-gen-inv-sft-v1-latest-test

Text Generation • 0.6B • Updated 5 days ago • 10

published a model 5 days ago

idopinto/qwen3-0.6b-gen-inv-sft-v1-latest-test

Text Generation • 0.6B • Updated 5 days ago • 10

updated a dataset 5 days ago

idopinto/wonda-qwen-nt-sft-v1

Viewer • Updated 5 days ago • 3.71k • 15

published a dataset 5 days ago

idopinto/wonda-qwen-nt-sft-v1

Viewer • Updated 5 days ago • 3.71k • 15

updated a dataset 5 days ago

idopinto/wonda-qwen-nt-sft-v0

Viewer • Updated 5 days ago • 3.65k • 13

published a dataset 5 days ago

idopinto/wonda-qwen-nt-sft-v0

Viewer • Updated 5 days ago • 3.65k • 13

updated a collection 5 days ago

Wonda

Collection

Models and datasets for loop invariant generation task • 24 items • Updated 5 days ago

updated a dataset 5 days ago

idopinto/wonda-qwen-nt-sft-v2-g1

Viewer • Updated 5 days ago • 7.48k • 11

published a dataset 5 days ago

idopinto/wonda-qwen-nt-sft-v2-g1

Viewer • Updated 5 days ago • 7.48k • 11

updated a collection 5 days ago

Wonda

Collection

Models and datasets for loop invariant generation task • 24 items • Updated 5 days ago

published a model 6 days ago

idopinto/qwen3-8b-gen-inv-sft-v1-latest-test

Updated 6 days ago

updated a collection 7 days ago

Wonda

Collection

Models and datasets for loop invariant generation task • 24 items • Updated 5 days ago