Pham Vu Tuan Dat, Long Doan, Huynh Thi Thanh Binh
AAAI 2025
CV
Education
- Ph.D in Computer Science, George Mason University, 2022 - present
- Advisor: Prof. ThanhVu Nguyen
- B.E. in Information Technology, Hanoi University of Science and Technology, 2021
- Thesis: TF-GeneNAS: An evolution-based training-free approach to Neural Architecture Search
- Thesis Advisor: Prof. Huynh Thi Thanh Binh
Research Experience
- AI Resident, VinAI Research, 2020 - 2022
- Mentor: Dr. Dat Quoc Nguyen
- Research topic: Vietnamese-English machine translation
- Research Student, Modelling, Simulation & Optimization Laboratory, 2018 - 2021
- Supervisor: Prof. Huynh Thi Thanh Binh
- Research topic: Combining Evolutionary Algorithms and Deep Learning for solving combinatorial optimization problems
Publications
- HSEvo: Elevating Automatic Heuristic Design with Diversity-Driven Harmony Search and Genetic Algorithm Using LLMs
Pham Vu Tuan Dat, Long Doan, Huynh Thi Thanh Binh
AAAI 2025 - AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants
Long Doan, ThanhVu Nguyen
ICSE 2025 - New Ideas and Emerging Results track - THNAS-GA: A Genetic Algorithm for Training-free Hardware-aware Neural Architecture Search
Tran Hai Thanh, Long Doan, Ngoc Hoang Luong, Binh Huynh Thi Thanh
GECCO 2024 - A Two-Stage Multi-Objective Evolutionary Reinforcement Learning Framework for Continuous Robot Control
Hai-Long Tran, Long Doan, Ngoc Hoang Luong, Huynh Thi Thanh Binh
GECCO 2023 - A High-Quality and Large-Scale Dataset for English-Vietnamese Speech Translation
Linh The Nguyen*, Nguyen Luong Tran*, Long Doan*, Manh Luong, Dat Quoc Nguyen
Interspeech 2022 - PhoMT: A High-Quality and Large-Scale Benchmark Dataset for Vietnamese-English Machine Translation
Long Doan*, Linh The Nguyen*, Nguyen Luong Tran*, Thai Hoang, Dat Quoc Nguyen
EMNLP 2021 - Optimizing Charging Locations and Charging Time for Energy Depletion Avoidance in Wireless Rechargeable Sensor Networks
Tran Thi Huong, Huynh Thi Thanh Binh, Phi Le Nguyen, Doan Cao Thanh Long, Vuong Dinh An
CEC 2020 - A multi-objective multi-factorial evolutionary algorithm with reference-point-based approach
Huynh Thi Thanh Binh, Nguyen Quoc Tuan, Doan Cao Thanh Long
CEC 2019
Talks
- AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants
George Mason University - Software Engineering Group, Fairfax, VA
Teaching
- Graduate Teaching Assistant, George Mason University
- CS 211: Object-Oriented Programming
- CS 580: Introduction to Artificial Intelligence
- CS 584: Data Mining