New (and Old) Proof Systems for Lattice Problems.

Navid Alamati Chris Peikert Noah Stephens-Davidowitz

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

Keyphrases

application domains
specific problems
problems involving
statistical machine learning
optimization problems
intelligent systems
learning systems
data mining
learning algorithm
information systems
knowledge base
evolutionary algorithm
complex systems
geometry theorem proving