Long Doan (Preferred)
Long Doan
PhD student, George Mason University
Joined
November 2021
Names
Emails
****@gmail.com (Confirmed)
****@vinai.io (Confirmed)
****@gmu.edu (Confirmed)
Personal Links
Career & Education History
PhD student
George Mason University (gmu.edu)
2022 – 2027
Researcher
VinAI Research (vinai.io)
2020 – 2022
Undergrad student
Hanoi University of Science and Technology (hust.edu.vn)
2016 – 2021
Advisors, Relations & Conflicts
Expertise
Automated Theorem Proving
2024 – Present
Large Language Model
2022 – Present
Machine Translation
2020 – 2022
Publications
Co-Authors
- Afshin Rahimi
- Dac Tam Nguyen
- Dao Long
- Dat Quoc Nguyen
- Hai Minh Nguyen
- Hai Tran Thanh
- Hai-Long Tran
- Hanh Pham
- Hieu Le
- Huy Dang
- Huynh Thi Thanh Binh
- Linh The Nguyen
- Long Tran
- Mai Hoang Dao
- Manh Luong
- Minh Duc Ngo
- Nam Nguyen
- Ngoc Hoang Luong
- Nguyen Luong Tran
- Pham Vu Tuan Dat
- Thai Hoang
- Thanh Vu
- ThanhVu Nguyen
- Tran Hai Thanh