Thura Aung

ThuraAung1601's activity

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

updated a model 2 days ago

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-rl-pa-alldata_GRPO

Text Generation • 0.5B • Updated 2 days ago

published a model 2 days ago

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-rl-pa-alldata_GRPO

Text Generation • 0.5B • Updated 2 days ago

updated a model 2 days ago

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-alldata_GRPO

Text Generation • 0.5B • Updated 2 days ago

published a model 2 days ago

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-alldata_GRPO

Text Generation • 0.5B • Updated 2 days ago

updated a model 2 days ago

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-alldata_SFT

Updated 2 days ago

published a model 2 days ago

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-alldata_SFT

Updated 2 days ago

updated a model 2 days ago

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-alldata_GRPO

Text Generation • 0.5B • Updated 2 days ago

published a model 2 days ago

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-alldata_GRPO

Text Generation • 0.5B • Updated 2 days ago

updated a model 2 days ago

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-alldata_SFT

Updated 2 days ago • 4

published a model 2 days ago

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-alldata_SFT

Updated 2 days ago • 4

updated a model 6 days ago

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-rlhint-alldata_GRPO

Text Generation • 0.5B • Updated 6 days ago • 62

published a model 6 days ago

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-rlhint-alldata_GRPO

Text Generation • 0.5B • Updated 6 days ago • 62

updated a model 6 days ago

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-combine-rlhint-alldata_GRPO

Text Generation • 0.5B • Updated 6 days ago • 85

published a model 6 days ago

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-combine-rlhint-alldata_GRPO

Text Generation • 0.5B • Updated 6 days ago • 85

updated a model 7 days ago

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-combine-alldata_GRPO

Text Generation • 0.5B • Updated 7 days ago • 25

published a model 7 days ago

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-combine-alldata_GRPO

Text Generation • 0.5B • Updated 7 days ago • 25

updated a model 7 days ago

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-combine-alldata_SFT

Updated 7 days ago • 13

published a model 7 days ago

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-combine-alldata_SFT

Updated 7 days ago • 13

updated a model 7 days ago

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-hint-gen-aug-combine-alldata_GRPO

Text Generation • 0.5B • Updated 7 days ago • 30

published a model 7 days ago

ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-hint-gen-aug-combine-alldata_GRPO

Text Generation • 0.5B • Updated 7 days ago • 30