1 citations · 3 across the 10 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
MaCTG: Multi-Agent Collaborative Thought Graph for Automatic Programming
Zixiao Zhao, Jing Sun, Zhe Hou +4
With the rapid advancement of Large Language Models (LLMs), LLM-based approaches have demonstrated strong problem-solving capabilities across various domains. However, in automatic…
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…