BERT Is Not The Count: Learning to Match Mathematical Statements with Proofs. - Weixian Waylon Li; Yftah Ziser; Maximin Coavoux; Shay B. Cohen (EACL, 2023)

TSPRank: Bridging Pairwise and Listwise Methods with a Bilinear Travelling Salesman Model. - Weixian Waylon Li; Yftah Ziser; Yifei Xie 002; Shay B. Cohen; Tiejun Ma (KDD (1), 2025)

Can LLM-based Financial Investing Strategies Outperform the Market in Long Run? - Weixian Waylon Li; Hyeonjun Kim; Mihai Cucuringu; Tiejun Ma (CoRR, 2025)