Yufan Cai

According to our database, Yufan Cai authored at least 13 papers between 2023 and 2026.

Collaborative distances:

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

2026

Which Changes Matter? Towards Trustworthy Legal AI via Relevance-Sensitive Evaluation and Solver-Grounded Reasoning.

Linze Chen, Yufan Cai, Zhé Hóu, Jin Song Dong

CoRR, May, 2026

Uncertainty Reasoning with Large Language Models for Explainable Disease Diagnosis.

Xiaoyang Fan, Yufan Cai, Zhe Hou, Jin Song Dong

CoRR, May, 2026

X-RAY: Mapping LLM Reasoning Capability via Formalized and Calibrated Probes.

Tianxi Gao, Yufan Cai, Yuan Yusi, Dong Jin Song

CoRR, March, 2026

2025

Towards Trustworthy Legal AI through LLM Agents and Formal Reasoning.

Linze Chen, Yufan Cai, Zhe Hou, Jinsong Dong

CoRR, November, 2025

CoEdPilot: Interactively Recommending Project-Wise Code Edits.

Yuhuan Huang, Chen-Yan Liu, Yun Lin, Yufan Cai, Bo Jiang, Ping Yang, Zhiyong Huang, Jin Song Dong

J. Comput. Sci. Technol., July, 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

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

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