Thura Aung
ThuraAung1601
AI & ML interests
Natural language processing, Optical character recognition, Large language models
Recent Activity
updated a dataset about 4 hours ago
ThuraAung1601/dafnybench-cleaned-robustness published a dataset about 4 hours ago
ThuraAung1601/dafnybench-cleaned-robustness updated a model 7 days ago
ThuraAung1601/Qwen2.5-Coder-0.5B-Instruct_reform-dafny-multitask6-aug-combine-sftall_SFT