Login / Signup
BLOOM: Bimodal Lattice One-Out-of-Many Proofs and Applications.
Vadim Lyubashevsky
Ngoc Khanh Nguyen
Published in:
IACR Cryptol. ePrint Arch. (2022)
Keyphrases
</>
theorem proving
theorem prover
lattice structure
formal proof
equational theories
data sets
decision procedures
formal proofs
information systems
learning algorithm
face recognition
palmprint
concept lattice
mathematical proofs