Hypergraph Lumpability and Bayesian Refinement

Download original file

This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.

Read the typeset paper

1 % Generated by examples/run_certificates.py
2 \newcommand{\VerificationPassCount}{35}
3 \newcommand{\VerificationFailCount}{0}
4 \newcommand{\ExactPredictionResidual}{\ensuremath{7.22\times 10^{-16}}}
5 \newcommand{\ExactPosteriorResidual}{\ensuremath{3.89\times 10^{-16}}}
6 \newcommand{\ExactEvidenceResidual}{\ensuremath{6.66\times 10^{-16}}}
7 \newcommand{\PerturbationSlope}{\ensuremath{0.9999}}
8 \newcommand{\HyperedgeEntropyValue}{\ensuremath{1.9360}}
9 \newcommand{\EffectiveHyperedgeCount}{\ensuremath{6.931}}

Back to source controls

Back to Hypergraph Lumpability and Bayesian Refinement