FHE-Based Bootstrapping of Designated-Prover NIZK.

Zvika Brakerski Sanjam Garg Rotem Tsabary

Published in: TCC (1) (2020)

Keyphrases

theorem proving
theorem prover
information extraction
automated theorem proving
relation extraction
named entity recognition
minimally supervised
weakly supervised
machine learning
hidden markov models
logic programming
relational databases
object recognition
data streams
computer vision
real world
databases