ThuraAung1601/reform-dafny-multitask-aug-combine
Viewer • Updated • 262k • 15
Thura Aung
ThuraAung1601
AI & ML interests
Natural language processing, Optical character recognition, Large language models
Recent Activity
updated a model 1 day ago
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-alldata_GRPO published a model 1 day ago
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-alldata_GRPO updated a model 1 day ago
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-loop-inv-gen-aug-alldata_SFTOrganizations
