arXiv · Software Engineering· Srijith Nair, Aditya Vempaty, Jia Liu, Ashish Jagmohan·· 4 hr agoAI score29
超越类型检查：面向形式化规范生成的整体评估
Beyond Type-checking: Towards Holistic Evaluation of Formal Specification Generation
AI brief
论文提出面向形式化规范生成（SpecGen）的整体评估框架，汇总 350 个现有 Lean 任务（含 VERINA 189 个与 CLEVER 161 个），覆盖形式有效性、参考相似度与等价性、行为充分性。
Source: arXiv · Software Engineering · arxiv.org