diagnose counting warmup draws

未关闭
#948 1 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看

还没有人认领这个 Issue。

评估

难度
3/5
预计耗时
1-2 天
新手友好度
45/100
Issue 类型
缺陷
描述清晰度
描述清楚
活跃度
停滞
技术栈
cpp
领域
cli

调研方向

运行文档中记录的 bernoulli 构建和采样命令,使用提供的 divergence 编辑 output.csv,并执行 bin/diagnose output.csv。跟踪 bin/diagnose 如何统计转换和 warmup 后的抽样;完成标准是报告能够一致地处理 warmup divergence,并报告预期的 warmup 后抽样数量。

由索引模型根据 Issue 内容生成。

描述

bug
Summary:
make examples/bernoulli/bernoulli
examples/bernoulli/bernoulli sample save_warmup=1 data file=examples/bernoulli/bernoulli.data.R output file=output.csv

Edit output.csv and add a divergence to the post warmup samples. (here's one: output.csv.txt)

bin/diagnose output.csv

The output will include:

Checking sampler transitions for divergences.
1 of 2000 (0.05%) transitions ended with a divergence.

There is 1 divergence (we added it -- there should be a bunch during warmup), but there are only 1000 post warmup draws.

Current Version:

v2.25.0

主要语言
C++
星标
240
派生
105
PR 合并指标
30 天内没有已合并 PR

环境准备

从这里开始

  1. 先读完整个 Issue,再读项目的贡献指南。
  2. 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
  3. Fork 仓库,在一个分支上完成修改。
  4. 提交 Pull Request,并在描述里引用这个 Issue 编号。

stan-dev/cmdstan 的其他 Issue

查看 stan-dev/cmdstan 的全部 Issue

相似的 Issue

更多 C++ Issue

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。