Zero-Knowledge for QMA from Locally Simulatable Proofs.
Anne BroadbentAlex B. GriloPublished in: CoRR (2019)
Keyphrases
- knowledge base
- prior knowledge
- information retrieval
- search engine
- theorem prover
- knowledge representation
- data sets
- knowledge management
- learning systems
- knowledge discovery
- formal proofs
- first order logic
- semantic information
- domain experts
- design process
- multi dimensional
- data structure
- case study
- information systems
- databases