TY  - RPRT
TI  - Verifying Performance Properties of Probabilistic Inference
AU  - Eric Atkinson
AU  - Ellie Y. Cheng
AU  - Guillaume Baudart
AU  - Louis Mandel
AU  - Michael Carbin
PY  - 2023
UR  - https://arxiv.org/abs/2307.07355
ID  - 2307.07355
ER  -