TY  - RPRT
TI  - Oblivious Probabilistic Outcome Logic: Verifying Probabilistic Programs with an Oblivious Adversary
AU  - Hanxi Chen
AU  - Noam Zilberstein
AU  - Andrew C. Myers
AU  - Alexandra Silva
PY  - 2026
UR  - https://arxiv.org/abs/2607.16533
ID  - 2607.16533
ER  -