Loop Invariant Synthesis Benchmarks
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/SaswatPadhi/LoopInvGen/tree/master/benchmarks
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含了940个以SyGus格式呈现的挑战性问题，这些问题包括了循环的前置条件、后置条件以及传输函数的SMT公式。在这些问题中，有541个是LLMs的研究范围之内，同时，最大上下文大小被设定为4096个标记。总的来说，这940个挑战性问题旨在进行循环不变式生成和验证的任务。
提供机构：
Padhi et al.
