ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-hint-gen-aug-combine-sftall_SFT Updated 8 days ago • 2
ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-multitask6-aug-sftall-xlora_XLoRA Updated 9 days ago
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall-xlora_XLoRA Updated 9 days ago • 2
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-sftall-xlora_XLoRA Updated 9 days ago
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-sftall-xlora_XLoRA Updated 10 days ago
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT Updated 17 days ago • 2
ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall-xlora-gen_XLoRA Updated 24 days ago • 2
ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall-xlora_XLoRA Updated 24 days ago • 7
ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall-xlora_XLoRA-checkpoints Updated 25 days ago
ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT Updated 26 days ago • 17
ThuraAung1601/Qwen2.5-Coder-1.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT-checkpoints Updated 26 days ago
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-rl-pa-alldata_GRPO Text Generation • 0.5B • Updated about 1 month ago
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-alldata_GRPO Text Generation • 0.5B • Updated about 1 month ago
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-alldata_SFT Updated about 1 month ago • 9
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-alldata_GRPO Text Generation • 0.5B • Updated about 1 month ago
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-alldata_SFT Updated about 1 month ago • 2
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-rlhint-alldata_GRPO Text Generation • 0.5B • Updated Oct 12
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-combine-rlhint-alldata_GRPO Text Generation • 0.5B • Updated Oct 12 • 19
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-combine-alldata_GRPO Text Generation • 0.5B • Updated Oct 11 • 11
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-combine-alldata_SFT Updated Oct 11 • 17
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-hint-gen-aug-combine-alldata_GRPO Text Generation • 0.5B • Updated Oct 11 • 14
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-hint-gen-aug-combine-alldata_SFT Updated Oct 11 • 16
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-hint-gen-aug-alldata_GRPO Text Generation • 0.5B • Updated Oct 11 • 11
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 • 14
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-alldata_GRPO Text Generation • 0.5B • Updated Oct 10 • 13