Simple Soundness Proofs.

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

Keyphrases

machine learning
theorem prover
black box
highly reliable
real time
data sets
data streams
object recognition
digital libraries