RegMiner: mining replicable regression dataset from code repositories. - Xuezhi Song; Yun Lin 001; Yijian Wu; Yifan Zhang 019; Siang Hwee Ng; Xin Peng 001; Jin Song Dong 001; Hong Mei 001 (ESEC/SIGSOFT FSE, 2022)

On-the-Fly Adapting Code Summarization on Trainable Cost-Effective Language Models. - Yufan Cai 001; Yun Lin 001; Chenyan Liu; Jinglian Wu; Yifan Zhang 019; Yiming Liu; Yeyun Gong; Jin Song Dong 001 (NeurIPS, 2023)

DeepDebugger: An Interactive Time-Travelling Debugging Approach for Deep Classifiers. - Xianglin Yang; Yun Lin 001; Yifan Zhang 019; Linpeng Huang; Jin Song Dong 001; Hong Mei 001 (ESEC/SIGSOFT FSE, 2023)

Knowledge Expansion and Counterfactual Interaction for Reference-Based Phishing Detection. - Ruofan Liu; Yun Lin 001; Yifan Zhang 019; Penn Han Lee; Jin Song Dong 001 (USENIX Security Symposium, 2023)

The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap. - Yedi Zhang; Yufan Cai 001; Xinyue Zuo; Xiaokun Luan; Kailong Wang 001; Zhe Hou; Yifan Zhang 019; Zhiyuan Wei; Meng Sun 002; Jun Sun 001; Jing Sun 002; Jin Song Dong 001 (CoRR, 2024)

Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods. - Yedi Zhang; Yufan Cai 001; Xinyue Zuo; Xiaokun Luan; Kailong Wang 001; Zhe Hou; Yifan Zhang 019; Zhiyuan Wei; Meng Sun 002; Jun Sun 001; Jing Sun 002; Jin Song Dong 001 (ICML (Position Papers), 2025)

PAT-Agent: Autoformalization for Model Checking. - Xinyue Zuo; Yifan Zhang 019; Hongshu Wang; Yufan Cai 001; Zhe Hou; Jing Sun 002; Jin Song Dong 001 (ASE, 2025)

Beyond Scores: Explainable Intelligent Assessment Strengthens Pre-service Teachers' Assessment Literacy. - Yuang Wei; Fei Wang 063; Yifan Zhang 019; Brian Y. Lim; Bo Jiang 016 (CHI, 2026)

Comparables XAI: Faithful Example-based AI Explanations with Counterfactual Trace Adjustments. - Yifan Zhang 019; Tianle Ren; Fei Wang 063; Brian Y. Lim (CHI, 2026)

Transferable XAI: Relating Understanding Across Domains with Explanation Transfer. - Fei Wang 063; Yifan Zhang 019; Brian Y. Lim (IUI, 2026)