diagnose counting warmup draws

Aperta
#948 1 commento 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
3/5
Tempo stimato
1-2 giorni
Idoneità per principianti
45/100
Tipo di issue
Bug
Chiarezza
Specificata chiaramente
Stato di attività
Ferma
Stack tecnologico
cpp
Ambito
cli

Direzione di ricerca

Esegui i comandi documentati di build e sampling di bernoulli, modifica output.csv con la divergenza fornita ed esegui bin/diagnose output.csv. Traccia il modo in cui bin/diagnose conta le transizioni e i draw post-warmup; il lavoro è completato quando il report gestisce le divergenze del warmup in modo coerente e riporta il numero previsto di draw post-warmup.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

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

Lingua principale
C++
Stelle
240
Fork
105
Metriche di merge delle PR
Nessuna PR unita negli ultimi 30g

Preparare l'ambiente

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di stan-dev/cmdstan

Tutte le issue di stan-dev/cmdstan

Issue simili

Altre issue su C++

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.