Expander-Based Cryptography Meets Natural Proofs.

Igor Carboni Oliveira Rahul Santhanam Roei Tell

Published in: Comput. Complex. (2022)

Keyphrases

neural network
cellular automata
theorem proving
machine learning
image processing
artificial systems
data sets
real world
data mining
metadata
wide range
information security
formal proofs
mathematical proofs