Yifan Zhang

According to our database, Yifan Zhang authored at least 10 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Transferable XAI: Relating Understanding Across Domains with Explanation Transfer.

Fei Wang, Yifan Zhang, Brian Y. Lim

Proceedings of the 31st International Conference on Intelligent User Interfaces, 2026

Comparables XAI: Faithful Example-based AI Explanations with Counterfactual Trace Adjustments.

Yifan Zhang, Tianle Ren, Fei Wang, Brian Y. Lim

Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems, 2026

Beyond Scores: Explainable Intelligent Assessment Strengthens Pre-service Teachers' Assessment Literacy.

Yuang Wei, Fei Wang, Yifan Zhang, Brian Y. Lim, Bo Jiang

Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems, 2026

2025

PAT-Agent: Autoformalization for Model Checking.

Xinyue Zuo, Yifan Zhang, Hongshu Wang, Yufan Cai, Zhe Hou, Jing Sun, Jin Song Dong

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods.

Yedi Zhang, Yufan Cai, Xinyue Zuo, Xiaokun Luan, Kailong Wang, Zhe Hou, Yifan Zhang, Zhiyuan Wei, Meng Sun, Jun Sun, Jing Sun, Jin Song Dong

Proceedings of the Forty-second International Conference on Machine Learning, 2025

2024

The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap.

Yedi Zhang, Yufan Cai, Xinyue Zuo, Xiaokun Luan, Kailong Wang, Zhe Hou, Yifan Zhang, Zhiyuan Wei, Meng Sun, Jun Sun, Jing Sun, Jin Song Dong

CoRR, 2024

2023

Knowledge Expansion and Counterfactual Interaction for Reference-Based Phishing Detection.

Ruofan Liu, Yun Lin, Yifan Zhang, Penn Han Lee, Jin Song Dong

Proceedings of the 32nd USENIX Security Symposium, 2023

DeepDebugger: An Interactive Time-Travelling Debugging Approach for Deep Classifiers.

Xianglin Yang, Yun Lin, Yifan Zhang, Linpeng Huang, Jin Song Dong, Hong Mei

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

On-the-Fly Adapting Code Summarization on Trainable Cost-Effective Language Models.

Yufan Cai, Yun Lin, Chenyan Liu, Jinglian Wu, Yifan Zhang, Yiming Liu, Yeyun Gong, Jin Song Dong

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2022

RegMiner: mining replicable regression dataset from code repositories.

Xuezhi Song, Yun Lin, Yijian Wu, Yifan Zhang, Siang Hwee Ng, Xin Peng, Jin Song Dong, Hong Mei

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022