Pages that link to "Item:Q5204823"
From MaRDI portal
The following pages link to Classical verification of quantum proofs (Q5204823):
Displaying 6 items.
- Robustness verification of quantum classifiers (Q832160) (← links)
- Verification of quantum computation: an overview of existing approaches (Q2311888) (← links)
- The power of unentanglement (Q3002799) (← links)
- Compression of quantum multi-prover interactive proofs (Q4977979) (← links)
- Classical verification of quantum proofs (Q5361888) (← links)
- NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE (Q6041345) (← links)