research
∙
10/07/2019
No-Signaling Proofs with O(√(log n)) Provers are in PSPACE
No-signaling proofs, motivated by quantum computation, have found applic...
share
research
∙
10/02/2019
Doubly-Efficient Pseudo-Deterministic Proofs
In [20] Goldwasser, Grossman and Holden introduced pseudo-deterministic ...
research
∙
07/18/2017
