Thura Aung

ThuraAung1601's activity

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

updated a model about 9 hours ago

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

Text Generation • 0.5B • Updated about 9 hours ago

published a model about 9 hours ago

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

Text Generation • 0.5B • Updated about 9 hours ago

updated a model about 11 hours ago

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

Text Generation • 0.5B • Updated about 11 hours ago

published a model about 11 hours ago

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

Text Generation • 0.5B • Updated about 11 hours ago

updated a model about 11 hours ago

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

Updated about 11 hours ago

published a model about 11 hours ago

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

Updated about 11 hours ago

updated a model about 20 hours ago

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

Text Generation • 0.5B • Updated about 20 hours ago

published a model about 20 hours ago

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

Text Generation • 0.5B • Updated about 20 hours ago

updated a model about 20 hours ago

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

Updated about 20 hours ago

published a model about 20 hours ago

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

Updated about 20 hours ago

updated a model 4 days ago

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

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

published a model 4 days ago

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

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

updated a model 4 days ago

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

Text Generation • 0.5B • Updated 4 days ago • 79

published a model 4 days ago

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

Text Generation • 0.5B • Updated 4 days ago • 79

updated a model 5 days ago

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

Text Generation • 0.5B • Updated 5 days ago • 24

published a model 5 days ago

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

Text Generation • 0.5B • Updated 5 days ago • 24

updated a model 5 days ago

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

Updated 5 days ago • 12

published a model 5 days ago

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

Updated 5 days ago • 12

updated a model 5 days ago

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

Text Generation • 0.5B • Updated 5 days ago • 26

published a model 5 days ago

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

Text Generation • 0.5B • Updated 5 days ago • 26