Publications

2026

  1. (Submitted)
    QuadSentinel: Sequent Safety for Machine-Checkable Control in Multi-agent Systems
    Yiliu Yang, Yilei Jiang, Yingshui Tan, and 4 more authors
    2026

2024

  1. EMNLP 2024
    LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models
    Yuxuan Wan, Wenxuan Wang, Yiliu Yang, and 5 more authors
    In Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing (EMNLP) 2024