Proofs of Quantumness from Trapdoor Permutations.

Tomoyuki Morimae Takashi Yamakawa

Published in: ITCS (2023)

Keyphrases

theorem proving
theorem prover
formal proof
formal proofs
knowledge base
probability distribution
automated theorem proving
equational theories
databases
neural network
machine learning
digital libraries
decision procedures