Stan Factor Graphs

该数据集是通过一系列静态分析流程从Stan程序中导出的因子图。此外，该数据集还包括从提取的因子图中构建一个正向采样程序的过程。任务涉及的是从概率程序中构建模型检查和采样程序。