1 citations · 1 across the 4 of their papers we have counts for
4 papers · 1 filter
Formal Model Construction Guided by Model-Based Proof Sketches
Hongshu Wang, Xinyue Zuo, Yufan Cai +3
Formal modeling provides strong guarantees about system correctness, but developing and repairing formal models remains labor-intensive and requires substantial expertise in logic…
Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair
Hongshu Wang, Xinyue Zuo, Yuhan Sun +3
Building software that is correct by construction is a long-standing goal in software engineering, as it ensures reliability during design and development rather than after deploym…
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…
Empirical Study on Transformer-based Techniques for Software Engineering
Yan Xiao, Xinyue Zuo, Lei Xue +3
Many Transformer-based pre-trained models for code have been developed and applied to code-related tasks. In this paper, we review the existing literature, examine the suitability…