ido Pinto

idopinto's activity

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

updated a dataset about 14 hours ago

idopinto/filtered-dafnybench-latest

Updated about 14 hours ago

published a dataset about 14 hours ago

idopinto/filtered-dafnybench-latest

Updated about 14 hours ago

updated a collection about 1 month ago

Wonda

Collection

Models and datasets for loop invariant generation task • 23 items • Updated 13 days ago

updated a model about 1 month ago

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

Text Generation • 0.6B • Updated Feb 10 • 1

published a model about 1 month ago

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

Text Generation • 0.6B • Updated Feb 10 • 1

updated a dataset about 1 month ago

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

Viewer • Updated Feb 10 • 7.28k • 15

published a dataset about 1 month ago

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

Viewer • Updated Feb 10 • 7.28k • 15

updated a model about 1 month ago

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

Text Generation • 0.6B • Updated Feb 10

published a model about 1 month ago

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

Text Generation • 0.6B • Updated Feb 10

updated a dataset about 1 month ago

idopinto/wonda-qwen-nt-sft-v1

Viewer • Updated Feb 10 • 3.71k • 14

published a dataset about 1 month ago

idopinto/wonda-qwen-nt-sft-v1

Viewer • Updated Feb 10 • 3.71k • 14

updated a dataset about 1 month ago

idopinto/wonda-qwen-nt-sft-v0

Viewer • Updated Feb 10 • 3.65k • 13

published a dataset about 1 month ago

idopinto/wonda-qwen-nt-sft-v0

Viewer • Updated Feb 10 • 3.65k • 13

updated a collection about 1 month ago

Wonda

Collection

Models and datasets for loop invariant generation task • 23 items • Updated 13 days ago

updated a dataset about 1 month ago

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

Viewer • Updated Feb 10 • 7.48k • 14

published a dataset about 1 month ago

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

Viewer • Updated Feb 10 • 7.48k • 14

updated a collection about 1 month ago

Wonda

Collection

Models and datasets for loop invariant generation task • 23 items • Updated 13 days ago

published a model about 1 month ago

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

Updated Feb 9