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-loop-inv-gen-rlhint-alldata_GRPO

Text Generation • 0.5B • Updated 2 days ago • 60

published a model 2 days ago

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

Text Generation • 0.5B • Updated 2 days ago • 60

updated a model 2 days ago

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

Text Generation • 0.5B • Updated 2 days ago • 68

published a model 2 days ago

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

Text Generation • 0.5B • Updated 2 days ago • 68

updated a model 3 days ago

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

Text Generation • 0.5B • Updated 3 days ago • 19

published a model 3 days ago

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

Text Generation • 0.5B • Updated 3 days ago • 19

updated a model 3 days ago

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

Updated 3 days ago • 12

published a model 3 days ago

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

Updated 3 days ago • 12

updated a model 3 days ago

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

Text Generation • 0.5B • Updated 3 days ago • 22

published a model 3 days ago

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

Text Generation • 0.5B • Updated 3 days ago • 22

updated a model 3 days ago

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

Updated 3 days ago • 9

published a model 3 days ago

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

Updated 3 days ago • 9

updated a model 3 days ago

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

Text Generation • 0.5B • Updated 3 days ago • 23

published a model 3 days ago

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

Text Generation • 0.5B • Updated 3 days ago • 23

updated a model 3 days ago

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

Updated 3 days ago • 17

published a model 3 days ago

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

Updated 3 days ago • 17

updated 2 models 4 days ago

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

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

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

Updated 4 days ago • 13

updated a dataset 4 days ago

LULab/myMediEval_MCQ

Viewer • Updated 4 days ago • 3.05k • 24

updated a model 4 days ago

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

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