ido Pinto

idopinto's activity

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

published a Space about 1 month ago

No application file

Agents

Wonda Icml 2026 Demo

📊

updated a collection about 1 month ago

Wonda (Models)

Collection

models for loop invariant generation task • 16 items • Updated Jun 22

New activity in huggingface/InferenceSupport about 1 month ago

idopinto/Wonda-Qwen3-4B-Instruct-2507-V2-gt2-e2

#10619 opened about 1 month ago by

idopinto

updated 2 models about 1 month ago

idopinto/Wonda-Llama3.1-8B-Instruct-V2-gt2-e3

Text Generation • 8B • Updated Jun 21 • 8

idopinto/Wonda-Qwen3-14B-nt-V2-gt2-e3

Text Generation • 15B • Updated Jun 21 • 11

updated a collection about 1 month ago

Wonda (Models)

Collection

models for loop invariant generation task • 16 items • Updated Jun 22

updated a model 2 months ago

idopinto/Wonda-Llama3.1-8B-Instruct-V1-e3

Text Generation • 8B • Updated May 18 • 4

published a model 2 months ago

idopinto/Wonda-Llama3.1-8B-Instruct-V1-e3

Text Generation • 8B • Updated May 18 • 4

updated a model 2 months ago

idopinto/Wonda-Llama3.1-8B-Instruct-V0-e3

Text Generation • 8B • Updated May 18 • 3

published a model 2 months ago

idopinto/Wonda-Llama3.1-8B-Instruct-V0-e3

Text Generation • 8B • Updated May 18 • 3

updated a model 2 months ago

idopinto/Wonda-Mistral-7B-Instruct-v0.3-V0-e3

Text Generation • 7B • Updated May 18 • 3

published a model 2 months ago

idopinto/Wonda-Mistral-7B-Instruct-v0.3-V0-e3

Text Generation • 7B • Updated May 18 • 3

updated a model 2 months ago

idopinto/Wonda-Mistral-7B-Instruct-v0.3-V1-e3

Text Generation • 7B • Updated May 18 • 3

published a model 2 months ago

idopinto/Wonda-Mistral-7B-Instruct-v0.3-V1-e3

Text Generation • 7B • Updated May 18 • 3

updated a model 2 months ago

idopinto/Wonda-Mistral-7B-Instruct-v0.3-V2-gt2-e3

Text Generation • 7B • Updated May 18 • 3