How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Centered eight-schools runs show small R-hat with low tail ESS
Example
The following are empirical simulation results reported by Vehtari et al. for the centered eight-schools funnel model; they are not theorem guarantees. In a 100-times-longer centered run, the reported for the hierarchical scale was , with bulk ESS and tail ESS , while the sampler reported divergent transitions. The source reports that the chains still had trouble exploring small values and that the estimates could not be trusted. In a separate centered run thinned by , the reported was again and tail ESS was , but the posterior mean was more than three reported Monte Carlo standard errors from the non-centered reference. The source classifies the thinning result as an empirical failure of these finite diagnostics to reveal the sampling problem, not as a universal statement about thinning.
Empirical evidence
The first set of values is from the author-maintained online appendix, Appendix D, “Centered parameterization with very long chains.” The second is from “Centered parameterization with very long chains and thinning,” also in Appendix D. The main paper's §5.2 reports the related centered eight-schools simulation and its difficulties exploring small . These observations illustrate why the reported and recommendations are not universal cutoffs and why source simulations must remain empirical evidence.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
9 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Aki Vehtari et al., Rank-normalization, folding, and localization, §5.2 (standard reference, not scraped)
- Vehtari et al., author-maintained online appendix, Appendix D (standard reference, not scraped)