TY - RPRT TI - Doubly-Efficient Pseudo-Deterministic Proofs AU - Michel Goemans AU - Shafi Goldwasser AU - Dhiraj Holden PY - 2020 UR - https://arxiv.org/abs/1910.00994 ID - 1910.00994 ER -