Yufan Cai

According to our database, Yufan Cai authored at least 7 papers between 2023 and 2025.

Collaborative distances:

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

2025

PAT-Agent: Autoformalization for Model Checking.

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

CoRR, September, 2025

Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle.

Xiaokun Luan, David Sanán, Zhe Hou, Qiyuan Xu, Chengwei Liu, Yufan Cai, Yang Liu, Meng Sun

Proc. ACM Softw. Eng., 2025

Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus.

Yufan Cai, Zhe Hou, David Sanán, Xiaokun Luan, Yun Lin, Jun Sun, Jin Song Dong

Proc. ACM Program. Lang., 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

Towards Large Language Model Aided Program Refinement.

Yufan Cai, Zhe Hou, Xiaokun Luan, David Sanán, Yun Lin, Jun Sun, Jin Song Dong

CoRR, 2024

CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature.

Chenyan Liu, Yufan Cai, Yun Lin, Yuhuan Huang, Yunrui Pei, Bo Jiang, Ping Yang, Jin Song Dong, Hong Mei

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

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