Yufan Cai

13 papers A* 2A 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
X-RAY: Mapping LLM Reasoning Capability via Formalized and Calibrated Probes.
CoRR
Tianxi Gao, Yufan Cai, Yuan Yusi, Dong Jin Song
2025 J jnl
Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus.
Proc. ACM Program. Lang.
Yufan Cai, Zhe Hou, David Sanán, Xiaokun Luan, Yun Lin, Jun Sun, Jin Song Dong
2025 J jnl
CoEdPilot: Interactively Recommending Project-Wise Code Edits.
J. Comput. Sci. Technol.
Yuhuan Huang, Chen-Yan Liu, Yun Lin, Yufan Cai, Bo Jiang, Ping Yang, Zhiyong Huang, Jin Song Dong
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
2025 J jnl
Towards Trustworthy Legal AI through LLM Agents and Formal Reasoning.
CoRR
Linze Chen, Yufan Cai, Zhe Hou, Jinsong Dong
2025 J jnl
Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle.
Proc. ACM Softw. Eng.
Xiaokun Luan, David Sanán, Zhe Hou, Qiyuan Xu, Chengwei Liu, Yufan Cai, Yang Liu, Meng Sun
2024 A conf
CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature.
ISSTA
Chenyan Liu, Yufan Cai, Yun Lin, Yuhuan Huang, Yunrui Pei, Bo Jiang, Ping Yang, Jin Song Dong, Hong Mei
2024 J jnl
CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature.
CoRR
Chenyan Liu, Yufan Cai, Yun Lin, Yuhuan Huang, Yunrui Pei, Bo Jiang, Ping Yang, Jin Song Dong, Hong Mei
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
2024 J jnl
Towards Large Language Model Aided Program Refinement.
CoRR
Yufan Cai, Zhe Hou, Xiaokun Luan, David Sanán, Yun Lin, Jun Sun, 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