idopinto/Wonda-Qwen3-8B-nt-V2-gt2-LoRA-e2
Updated
Wonda (Models)
models for loop invariant generation task
-
-
idopinto/Wonda-Qwen3-8B-nt-V1-LoRA-e2
Updated -
idopinto/Wonda-Qwen3-8B-nt-V0-LoRA-e2
Updated -
idopinto/Wonda-Qwen3-4B-Instruct-2507-V2-gt2-e2
Text Generation • 4B • Updated • 4 -
idopinto/Wonda-Qwen3-4B-Instruct-2507-V1-e2
Text Generation • 4B • Updated • 6 -
idopinto/Wonda-Qwen3-4B-Instruct-2507-V0-e2
Text Generation • 4B • Updated • 4 -
idopinto/Wonda-Llama3.1-8B-Instruct-V1-e3
Text Generation • 8B • Updated • 1 -
idopinto/Wonda-Qwen3-0.6B-nt-V2-gt2-e2
Text Generation • 0.6B • Updated • 4 -
idopinto/Wonda-Llama3.1-8B-Instruct-V0-e3
Text Generation • 8B • Updated • 1 -
idopinto/Wonda-Qwen3-0.6B-nt-V1-e2
Text Generation • 0.6B • Updated • 3 -
idopinto/Wonda-Mistral-7B-Instruct-v0.3-V2-gt2-e3
Text Generation • 7B • Updated • 1 -
idopinto/Wonda-Qwen3-0.6B-nt-V0-e2
Text Generation • 0.6B • Updated • 3 -
idopinto/Wonda-Mistral-7B-Instruct-v0.3-V1-e3
Text Generation • 7B • Updated • 1 -
idopinto/Wonda-Mistral-7B-Instruct-v0.3-V0-e3
Text Generation • 7B • Updated • 1 -
idopinto/Wonda-Qwen3-14B-nt-V2-gt2-e3
Text Generation • 15B • Updated • 41 -
idopinto/Wonda-Llama3.1-8B-Instruct-V2-gt2-e3
Text Generation • 8B • Updated • 21