7 citations · 9 across the 9 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2025
PAT-Agent: Autoformalization for Model Checking
Xinyue Zuo, Yifan Zhang, Hongshu Wang +4
Recent advances in large language models (LLMs) offer promising potential for automating formal methods. However, applying them to formal verification remains challenging due to th…
cs.SE2024★ 7 cited
CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
Chenyan Liu, Yufan Cai, Yun Lin +6
Recent years have seen the development of LLM-based code generation. Compared to generating code in a software project, incremental code edits are empirically observed to be more f…
cs.SE2024★ 1 cited
Towards Large Language Model Aided Program Refinement
Yufan Cai, Zhe Hou, Xiaokun Luan +4
Program refinement involves correctness-preserving transformations from formal high-level specification statements into executable programs. Traditional verification tool support f…