Teaching LTLf Satisfiability Checking to Neural Networks. - Weilin Luo; Hai Wan; Jianfeng Du; Xiaoda Li; Yuze Fu; Rongzhen Ye; Delong Zhang (IJCAI, 2022)

Estimation of Airflow Parameters for Tail-Sitter UAV through a 5-Hole Probe Based on an ANN. - Xiaoda Li; Yongliang Wu; Xiaowen Shan; Haofan Zhang; Yang Chen 045 (Sensors, 2023)

Multi-representation space recommendation with graph contrastive learning. - Xiaoda Li; Yue He 005; Jing Li 055; Kai Zhu 009; Jun Chang; Jiaheng Yu (Expert Syst. Appl., 2026)