SyGuS LIA
收藏arXiv2025-09-30 收录
下载链接：
https://zenodo.org/records/10377451
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含1901个问题，用于函数综合实验。在实验中，数据被按7.5:2.5的比例分为训练集和测试集。该数据集被用来评估结合了强化学习的蒙特卡洛树搜索（MCTS）的性能。整个数据集共有1901个问题，任务是通过使用蒙特卡洛树搜索与强化学习进行函数综合。
This dataset contains 1,901 questions for function synthesis experiments. The data is split into training and test sets at a ratio of 7.5:2.5 for these experiments. It is utilized to evaluate the performance of Monte Carlo Tree Search (MCTS) combined with reinforcement learning. The core task of this dataset is to perform function synthesis using Monte Carlo Tree Search and reinforcement learning.
