Compressing Proofs of k-Out-Of-n Partial Knowledge.

Thomas Attema Ronald Cramer Serge Fehr

Published in: CRYPTO (4) (2021)

Keyphrases

partial knowledge
theorem prover
theorem proving
data compression
neural network
domain knowledge
formal proof
machine learning
prior knowledge
equational theories