Loop Invariant Synthesis Benchmarks
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/SaswatPadhi/LoopInvGen/tree/master/benchmarks
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含了940个以SyGus格式呈现的挑战性问题，这些问题包括了循环的前置条件、后置条件以及传输函数的SMT公式。在这些问题中，有541个是LLMs的研究范围之内，同时，最大上下文大小被设定为4096个标记。总的来说，这940个挑战性问题旨在进行循环不变式生成和验证的任务。
This dataset contains 940 challenging problems presented in the SyGus format, which include SMT formulas for loop preconditions, postconditions, and transfer functions. Among these problems, 541 fall within the research scope of LLMs, while the maximum context size is set to 4096 tokens. Overall, these 940 challenging problems are designed for the tasks of loop invariant generation and verification.
提供机构：
Padhi et al.
