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 • 15 -
idopinto/Wonda-Qwen3-4B-Instruct-2507-V1-e2
Text Generation • 4B • Updated • 16 -
idopinto/Wonda-Qwen3-4B-Instruct-2507-V0-e2
Text Generation • 4B • Updated • 25 -
idopinto/Wonda-Llama3.1-8B-Instruct-V1-e3
Text Generation • 8B • Updated • 13 -
idopinto/Wonda-Qwen3-0.6B-nt-V2-gt2-e2
Text Generation • 0.6B • Updated • 24 -
idopinto/Wonda-Llama3.1-8B-Instruct-V0-e3
Text Generation • 8B • Updated • 18 -
idopinto/Wonda-Qwen3-0.6B-nt-V1-e2
Text Generation • 0.6B • Updated • 11 -
idopinto/Wonda-Mistral-7B-Instruct-v0.3-V2-gt2-e3
Text Generation • 7B • Updated • 26 -
idopinto/Wonda-Qwen3-0.6B-nt-V0-e2
Text Generation • 0.6B • Updated • 13 -
idopinto/Wonda-Mistral-7B-Instruct-v0.3-V1-e3
Text Generation • 7B • Updated • 17 -
idopinto/Wonda-Mistral-7B-Instruct-v0.3-V0-e3
Text Generation • 7B • Updated • 12 -
idopinto/Wonda-Qwen3-14B-nt-V2-gt2-e3
Text Generation • 15B • Updated • 21 -
idopinto/Wonda-Llama3.1-8B-Instruct-V2-gt2-e3
Text Generation • 8B • Updated • 24 -
Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs
Paper • 2603.15510 • Published