BLOOM: Bimodal Lattice One-out-of-Many Proofs and Applications.
Vadim LyubashevskyNgoc Khanh NguyenPublished in: ASIACRYPT (4) (2022)
Keyphrases
- boolean algebra
- theorem proving
- theorem prover
- concept lattice
- lattice structure
- gaussian mixture
- mathematical proofs
- computer vision
- machine learning
- probability density function
- palmprint
- artificial neural networks
- equational theories
- artificial intelligence
- formal proof
- real time
- formal proofs
- mathematical knowledge
- feature level fusion
- lattice theory
- databases
- algebraic structure
- computer programs
- information systems
- feature selection