TY  - RPRT
TI  - Pseudo-deterministic Proofs
AU  - Shafi Goldwasser
AU  - Ofer Grossman
AU  - Dhiraj Holden
PY  - 2017
UR  - https://arxiv.org/abs/1706.04641
ID  - 1706.04641
ER  -