YIFAN ZHANG

I am Yifan ZHANG. I am currently a ph.D. student at SoC, National University of Singapore, working in the UbiComp Lab under the supervision of Prof. Brian Lim. My research interests include Explainable Artificial Intelligence(XAI) and Human-Computer Interaction(HCI). Specifically, I focus on designing and developing interpretable machine learning (ML) models and explainable AI techniques to enhance the transparency of complex decision-making and prediction processes. By applying human-centered principles, I strive to provide explanations that are cognitively friendly, thereby improving overall interpretability.

Publications 📝

• PAT-Agent: Autoformalization for Model Checking. ASE'25
  Xinyue Zuo, Yifan Zhang, Hongshu Wang, Yufan Cai, Zhe Hou, Jun Sun, Jing Sun and Jin Song Dong.
  
  
• Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods. ICML'25
  Yedi Zhang, Yufan Cai, Xinyue Zuo, Xiaokun Luan, Kailong Wang, Zhe Hou Yifan Zhang, Zhiyuan Wei, Meng Sun, Jun Sun, Jing Sun and Jin Song Dong.
  
  
• On-the-Fly Adapting Code Summarization on Trainable Cost-Effective Language Models. NeurIPS'23
  Yufan Cai, Yun Lin, Chenyan Liu, Jinglian Wu, Yifan Zhang, Yiming Liu, Yeyun Gong, and Jin Song Dong.
  
  
• DeepDebugger: An Interactive Time-Travelling Debugging Approach for Deep Classifiers. FSE'23
  Xianglin Yang, Yun Lin, Yifan Zhang, Linpeng Huang, Jin Song Dong and Hong Mei.
  
  
• Knowledge Expansion and Counterfactual Interaction for Reference-Based Phishing Detection. USENIX'23
  Ruofan Liu, Yun Lin, Yifan Zhang, Penn Han Lee, and Jin Song Dong.
  
  
• RegMiner: Mining Replicable Regression Dataset from Code Repositories. FSE'22(demo track)
  Xuezhi Song, Yun Lin, Yijian Wu, Yifan Zhang, Xin Peng, Jin Song Dong, and Hong Mei.
  
  

Teaching 🎓

• CS3244 Machine Learning | Teaching Assistant @ National University of Singapore | Sem 1 AY2024/2025

• CS3244 Machine Learning | Teaching Assistant @ National University of Singapore | Sem 1 AY2025/2026