A formal corpus of mathematical theorems: a bridge from natural language to first-order logic. - Lulu Li; Zhengtao Li; Peng Hu; Hao Zhang 147 (ICCPR, 2024)

Attention-based Hyperspectral Classification Networks with Spectral Separability Analysis. - Zhengtao Li; Hao Zhang 147; Peng Hu; Lulu Li (ICCPR, 2024)