One-step closure, weak one-step closure and meet continuity. - Hualin Miao; Qingguo Li; Dongsheng Zhao (ISDT, 2022)

Not every countable complete distributive lattice is sober. - Hualin Miao; Xiaoyong Xi; Qingguo Li; Dongsheng Zhao (Math. Struct. Comput. Sci., 2023)

The category of well-filtered dcpos is not Γ-faithful. - Hualin Miao; Huijun Hou; Xiaodong Jia; Qingguo Li (CoRR, 2024)

The order-K-ification monads. - Huijun Hou; Hualin Miao; Qingguo Li (Math. Struct. Comput. Sci., 2024)

Bilingual phrase induction with local hard negative sampling. - Hailong Cao; Hualin Miao; Weixuan Wang; Liangyou Li; Wei Peng 011; Tiejun Zhao (CAAI Trans. Intell. Technol., 2025)

A dichotomy result for countably based sober spaces. - Hualin Miao; Qingguo Li (Inf. Comput., 2025)