Stan Factor Graphs
收藏arXiv2025-09-30 收录
下载链接：
https://mc-stan.org/users/documentation/
下载链接
链接失效反馈官方服务：
资源简介：
该数据集是通过一系列静态分析流程从Stan程序中导出的因子图。此外，该数据集还包括从提取的因子图中构建一个正向采样程序的过程。任务涉及的是从概率程序中构建模型检查和采样程序。
This dataset consists of factor graphs extracted from Stan programs via a series of static analysis pipelines. Additionally, it includes the process of building a forward sampling program from the extracted factor graphs. The associated tasks involve developing model checking and sampling programs from probabilistic programs.
提供机构：
Stanc3 compiler
