Cai Yufan
Education
- National University of Singapore (NUS), Singapore 2020-2024
- Ph.D. in Computer Science
- Integrative Sciences and Engineering Programme (ISEP)
- Shanghai Jiao Tong University (SJTU), China 2016-2020
- B.Eng. in Computer Science
- IEEE Pilot Class
Publication
- 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. The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap paper
- Yufan Cai, Zhe Hou, David Miguel Sanan Baena, Xiaokun Luan, Yun Lin, Jun Sun, Jin Song Dong. Automated Program Refinement with Code Large Language Models (POPL 2025) paper website (to be updated)
- Chenyan Liu#, Yufan Cai#, Yun Lin, Yuhuan Huang, Yunrui Pei, Bo Jiang, Ping Yang, Jin Song Dong, and Hong Mei. CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature (ISSTA 2024) paper website
- Yufan Cai, Yun Lin, Chenyan Liu, Jinglian Wu, Yifan Zhang, Yiming Liu, Yeyun Gong, Jin Song Dong. On-the-Fly Adapting Code Summarization on Trainable Cost-Effective Language Models (NeurIPS 2023) paper website
Service
- Conference: PC Member at the twenty-eighth IEEE Pacific Rim International Symposium on Dependable Computing, the 1st International Sports Analytics Conference and Exhibition, NeurIPS 2024 (Top Reviewer), ICLR 2025, ICML 2025
- Journal: Reviewer at Formal Aspects of Computing, Soft Computing, SN Computer Science
- External: Reviewer at ICSE, FSE, ASE, ISSTA, WWW, NFM, ATVA
SELECTED AWARDS
- President’s Graduate Fellowship, 2024
- Research Achievement Award, 2023
- NUS-ISEP Scholarship, 2020
- Shanghai Outstanding Graduates, 2020
- Huichuan Scholarship, 2019
- Top Ten Volunteers, 2019
- Huawei Scholarship, 2018
- Meritorious Award at Mathematical Contest in Modeling, 2017
Project
