FormaRL: Enhancing Autoformalization with no Labeled Data. - Yanxing Huang; Xinling Jin; Sijie Liang; Peng Li; Yang Liu (CoRR, 2025)

Deep multi-view least squares support vector machine with consistency and complementarity principle based on cross-output knowledge transfer. - Shuangrui Jia; Sijie Liang; Ziyi Mo; Chunxiao Liu; Huiru Wang; Chen Chen (Expert Syst. Appl., 2026)