Yifan Zhang

14 papers A* 5A 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2026 A* conf
Beyond Scores: Explainable Intelligent Assessment Strengthens Pre-service Teachers' Assessment Literacy.
CHI
Yuang Wei, Fei Wang, Yifan Zhang, Brian Y. Lim, Bo Jiang
2026 J jnl
Beyond Scores: Explainable Intelligent Assessment Strengthens Pre-service Teachers' Assessment Literacy.
CoRR
Yuang Wei, Fei Wang, Yifan Zhang, Brian Y. Lim, Bo Jiang
2026 A* conf
Comparables XAI: Faithful Example-based AI Explanations with Counterfactual Trace Adjustments.
CHI
Yifan Zhang, Tianle Ren, Fei Wang, Brian Y. Lim
2026 J jnl
Comparables XAI: Faithful Example-based AI Explanations with Counterfactual Trace Adjustments.
CoRR
Yifan Zhang, Tianle Ren, Fei Wang, Brian Y. Lim
2026 A conf
Transferable XAI: Relating Understanding Across Domains with Explanation Transfer.
IUI
Fei Wang, Yifan Zhang, Brian Y. Lim
2026 J jnl
Transferable XAI: Relating Understanding Across Domains with Explanation Transfer.
CoRR
Fei Wang, Yifan Zhang, Brian Y. Lim
2025 A* conf
PAT-Agent: Autoformalization for Model Checking.
ASE
Xinyue Zuo, Yifan Zhang, Hongshu Wang, Yufan Cai, Zhe Hou, Jing Sun, Jin Song Dong
2025 J jnl
PAT-Agent: Autoformalization for Model Checking.
CoRR
Xinyue Zuo, Yifan Zhang, Hongshu Wang, Yufan Cai, Zhe Hou, Jing Sun, Jin Song Dong
2025 — conf
Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods.
ICML (Position Papers)
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
2024 J jnl
The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap.
CoRR
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
2023 — conf
DeepDebugger: An Interactive Time-Travelling Debugging Approach for Deep Classifiers.
ESEC/SIGSOFT FSE
Xianglin Yang, Yun Lin, Yifan Zhang, Linpeng Huang, Jin Song Dong, Hong Mei
2023 A* conf
Knowledge Expansion and Counterfactual Interaction for Reference-Based Phishing Detection.
USENIX Security Symposium
Ruofan Liu, Yun Lin, Yifan Zhang, Penn Han Lee, Jin Song Dong
2023 A* conf
On-the-Fly Adapting Code Summarization on Trainable Cost-Effective Language Models.
NeurIPS
Yufan Cai, Yun Lin, Chenyan Liu, Jinglian Wu, Yifan Zhang, Yiming Liu, Yeyun Gong, Jin Song Dong
2022 — conf
RegMiner: mining replicable regression dataset from code repositories.
ESEC/SIGSOFT FSE
Xuezhi Song, Yun Lin, Yijian Wu, Yifan Zhang, Siang Hwee Ng, Xin Peng, Jin Song Dong, Hong Mei