LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation
DGX agentarXiv:2605.01394v1 Announce Type: cross Abstract: Formal specification is essential for rigorous program verification, yet writing correct specifications remains costly and difficult to automate. Alth