Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

Pages


Page Not Found



About me



Archive Layout with Content



Posts by Category



Posts by Collection



CV







Markdown



Page not in menu



Page Archive



Portfolio



Publications



Sitemap



Posts by Tags



Talk map



Talks and presentations



Teaching



Terms and Privacy Policy



Blog posts











































Jupyter notebook markdown generator














Posts


Future Blog Post



Blog Post number 4



Blog Post number 3



Blog Post number 2



Blog Post number 1


portfolio


Portfolio item number 1



Portfolio item number 2


publications


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
[paper]

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
[paper]

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
[paper] [code]

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
[paper] [code]

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
[paper]

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
[paper]

AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants
Long Doan, ThanhVu Nguyen
ICSE 2025 - New Ideas and Emerging Results track

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
[paper] [code]

talks


AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants

George Mason University - Software Engineering Group

teaching


Teaching experience 1

University 1, Department

Teaching experience 2

University 1, Department