AutoReSpec: A Framework for Generating Specification using Large Language Models
arXiv:2604.03758v1 Announce Type: cross
Abstract: Formal specification generation has recently drawn attention in software engineering as a way to improve program correctness without requiring manual annotations. Large Language Models (LLMs) have show…