Home » Authors » Wenhan Wang, Shiming Chen, Zeyu Sun, Shenghua Feng

Wenhan Wang, Shiming Chen, Zeyu Sun, Shenghua Feng

Public reference bibliography and cataloged PDF materials authored or published by Wenhan Wang, Shiming Chen, Zeyu Sun, Shenghua Feng.

Found 1 document(s) Page 1 of 1

Are LLM-Generated Formal Specifications Faithful to Their Requirements? A Study on Bimodal Formal Specification Generation

Year: 2026 • Source: arxiv.org • Listed PDF

Formal specification generation is a critical step towards formal verification and correctness assurance of software. Recently, large language models have been widely adopted in automatic generation of formal specificati...