MetaPro 2.0: Computational Metaphor Processing on the Effectiveness of Anomalous Language Modeling. - Rui Mao 010; Kai He 001; Claudia Ong; Qian Liu 012; Erik Cambria (ACL (Findings), 2024)

Mathesis: Towards Formal Theorem Proving from Natural Languages. - Yu Xuejun; Jianyuan Zhong; Zijin Feng; Pengyi Zhai; Roozbeh Yousefzadeh; Wei Chong Ng; Haoxiong Liu; Ziyi Shou; Jing Xiong; Yudong Zhou; Claudia Ong; Austen Jeremy Sugiarto; et al. (CoRR, 2025)