FHE-Based Bootstrapping of Designated-Prover NIZK.

Zvika Brakerski Sanjam Garg Rotem Tsabary

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

Keyphrases

theorem proving
theorem prover
information extraction
artificial intelligence
weakly supervised
automated theorem proving
named entity recognition
minimally supervised
database
search engine
bayesian networks
feature space
probabilistic model
question answering