Spec-Harness: Assessing and Guiding LLM-Synthesized Formal Specifications Beyond Verifiability.

arXiv:2604.00280v3 Announce Type: replace-cross Abstract: Formal specifications play a central role in ensuring software reliability, yet automatically synthesizing high-quality specifications remains difficult and often requires domain expertise. Recent work