Proofs of Quantumness from Trapdoor Permutations.

Tomoyuki Morimae Takashi Yamakawa

Published in: CoRR (2022)

Keyphrases

equational theories
theorem proving
probability distribution
theorem prover
decision procedures
automated theorem proving
high level
formal proofs
data sets
data mining
image processing
data model
inference rules
cut elimination
formal proof