ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-hint-gen-aug-combine-sftall_SFT Updated 5 days ago • 2
ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-multitask6-aug-sftall-xlora_XLoRA Updated 6 days ago
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall-xlora_XLoRA Updated 6 days ago • 2
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-sftall-xlora_XLoRA Updated 6 days ago
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-sftall-xlora_XLoRA Updated 7 days ago
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT Updated 14 days ago • 2
ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall-xlora-gen_XLoRA Updated 21 days ago • 2
ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall-xlora_XLoRA Updated 21 days ago • 7
ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall-xlora_XLoRA-checkpoints Updated 22 days ago
ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT Updated 22 days ago • 17
ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT-checkpoints Updated 23 days ago
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-rl-pa-alldata_GRPO Text Generation • 0.5B • Updated 27 days ago
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-alldata_GRPO Text Generation • 0.5B • Updated 27 days ago
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-alldata_SFT Updated 27 days ago • 9
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-alldata_GRPO Text Generation • 0.5B • Updated 28 days ago
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-alldata_SFT Updated 28 days ago • 6
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-rlhint-alldata_GRPO Text Generation • 0.5B • Updated about 1 month ago • 2
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-combine-rlhint-alldata_GRPO Text Generation • 0.5B • Updated about 1 month ago • 32
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-combine-alldata_GRPO Text Generation • 0.5B • Updated Oct 11 • 16
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-combine-alldata_SFT Updated Oct 11 • 15
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-hint-gen-aug-combine-alldata_GRPO Text Generation • 0.5B • Updated Oct 11 • 18
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-hint-gen-aug-combine-alldata_SFT Updated Oct 11 • 17
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-hint-gen-aug-alldata_GRPO Text Generation • 0.5B • Updated Oct 11 • 16
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-alldata_GRPO Text Generation • 0.5B • Updated Oct 11
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-hint-gen-alldata_GRPO Text Generation • 0.5B • Updated Oct 10 • 20
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-alldata_GRPO Text Generation • 0.5B • Updated Oct 10 • 17