Publications

2025

  1. arXiv
    QuadSentinel: Sequent Safety for Machine-Checkable Control in Multi-agent Systems
    Yiliu Yang, Yilei Jiang, Qunzhong Wang, and 5 more authors
    arXiv preprint arXiv:2512.16279 2025

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