6 citations · 9 across the 8 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
cs.SE2025★ 6 cited
Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
Zhi Ma, Cheng Wen, Zhexin Su +4
Automating the translation of natural language (NL) software requirements into formal specifications remains a critical challenge in scaling formal verification practices to indust…
cs.SE2025
MFH: A Multi-faceted Heuristic Algorithm Selection Approach for Software Verification
Jie Su, Liansai Deng, Cheng Wen +6
Currently, many verification algorithms are available to improve the reliability of software systems. Selecting the appropriate verification algorithm typically demands domain expe…
cs.AI2025★ 2 cited
From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
Jialun Cao, Yaojie Lu, Meiziniu Li +9
The research in AI-based formal mathematical reasoning has shown an unstoppable growth trend. These studies have excelled in mathematical competitions like IMO and have made signif…