Duc Minh Do

According to our database, Duc Minh Do authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Formalising Fairness in the Assignment Problem with Ordinal Preferences in Isabelle/HOL.

Duc Minh Do, Christine Rizkallah

Proceedings of the Intelligent Computer Mathematics - 18th International Conference, 2025

A Vietnamese Dataset for Text Segmentation and Multiple Choices Reading Comprehension.

Toan Hai Nguyen, Duc Minh Do, Truong Xuan Quan, Ha Viet Nguyen

Proceedings of the 7th International Conference on Big-data Service and Intelligent Computation, 2025