The following pages link to Thomas Vidick (Q356691):
Displaying 7 items.
- (Q5874392) (← links)
- \(\mathrm{MIP}^* = \mathrm{RE}\): a negative resolution to Connes' embedding problem and Tsirelson's problem (Q6118161) (← links)
- Quantum soundness of testing tensor codes (Q6383129) (← links)
- Verifier-on-a-leash: new schemes for verifiable delegated quantum computation, with quasilinear resources (Q6626962) (← links)
- Quantum codes, local testability and interactive proofs: state of the art and open questions (invited talk) (Q6637990) (← links)
- The Aldous--Lyons Conjecture I: Subgroup Tests (Q6738816) (← links)
- The Aldous--Lyons Conjecture II: Undecidability (Q6760508) (← links)