Proofs for Deep Thought: Accumulation for large memories and deterministic computations.

Benedikt Bünz Jessica Chen

Published in: IACR Cryptol. ePrint Arch. (2024)

Keyphrases

black box
theorem proving
associative memory
equational theories
computer vision
image processing
three dimensional
probabilistic model
theorem prover
formal proof
formal proofs