Thura Aung

ThuraAung1601's activity

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

updated a model about 1 hour ago

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

Text Generation • 0.5B • Updated about 1 hour ago

published a model about 1 hour ago

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

Text Generation • 0.5B • Updated about 1 hour ago

updated a model about 1 hour ago

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

Text Generation • 0.5B • Updated about 1 hour ago

published a model about 1 hour ago

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

Text Generation • 0.5B • Updated about 1 hour ago

updated a model about 23 hours ago

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

Text Generation • 0.5B • Updated about 23 hours ago • 17

published a model about 23 hours ago

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

Text Generation • 0.5B • Updated about 23 hours ago • 17

updated a model about 23 hours ago

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

Updated about 23 hours ago • 10

published a model about 23 hours ago

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

Updated about 23 hours ago • 10

updated a model about 23 hours ago

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

Text Generation • 0.5B • Updated about 23 hours ago • 19

published a model about 23 hours ago

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

Text Generation • 0.5B • Updated about 23 hours ago • 19

updated a model about 23 hours ago

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

Updated about 23 hours ago • 9

published a model about 23 hours ago

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

Updated about 23 hours ago • 9

updated a model 1 day ago

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

Text Generation • 0.5B • Updated 1 day ago • 21

published a model 1 day ago

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

Text Generation • 0.5B • Updated 1 day ago • 21

updated a model 1 day ago

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

Updated 1 day ago • 17

published a model 1 day ago

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

Updated 1 day ago • 17

updated 2 models 1 day ago

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

Text Generation • 0.5B • Updated 1 day ago • 171

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

Updated 1 day ago • 13

updated a dataset 2 days ago

LULab/myMediEval_MCQ

Viewer • Updated 2 days ago • 3.05k • 23

updated a model 2 days ago

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

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