Sign in
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