@misc{chen-2026-oblivious,
  author = {Hanxi Chen and Noam Zilberstein and Andrew C. Myers and Alexandra Silva},
  title = {Oblivious Probabilistic Outcome Logic: Verifying Probabilistic Programs with an Oblivious Adversary},
  year = {2026},
  month = {7},
  eprint = {2607.16533},
  archiveprefix = {arXiv}
}