SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Large Language Models can effectively generate accurate and comprehensive formal program specifications, as demonstrated by SpecGen.