Herman Model Variants

该数据集包含了来自不同领域的五个基准模型，其中包括Grid和Herman模型的大尺寸变体，旨在评估不同合成方法的性能。此外，该数据集被用于将自适应引导的合成方法与现有最先进的技术进行比较，其实现作为一个工件可供使用。在规模上，数据集包含了小型Herman（5,000个成员）和大型Herman（3,100,000个成员）。该数据集的任务是评估概率编程中合成方法的性能。

This dataset includes five benchmark models from diverse domains, featuring large-scale variants of both the Grid and Herman models, and is designed to evaluate the performance of various synthesis methods. Furthermore, this dataset is utilized to compare adaptive-guided synthesis methods against current state-of-the-art technologies, and its implementation is available as an artifact. In terms of scale, the dataset contains the small-scale Herman (with 5,000 members) and the large-scale Herman (with 3,100,000 members). The task of this dataset is to evaluate the performance of synthesis methods in probabilistic programming.