8 schools example in Stan/PyMc3/Numpyro
See https://mc-stan.org/users/documentation/case-studies/divergences_and_bias.html
and
https://docs.pymc.io/notebooks/Diagnosing_biased_Inference_with_Divergences.html https://pymc3.readthedocs.io/en/latest/notebooks/Diagnosing_biased_Inference_with_Divergences.html#The-Eight-Schools-Model https://docs.pymc.io/notebooks/model_comparison.html