Two Prover Perfect Zero Knowledge for MIP.

Kieran Mastel William Slofstra

Published in: STOC (2024)

Keyphrases

domain knowledge
knowledge acquisition
knowledge representation
knowledge discovery
domain experts
learning systems
knowledge sharing
database
neural network
knowledge base
higher level
mathematical programming
automated theorem proving