On the Existence of Algebraically Natural Proofs.

Prerona Chatterjee Mrinal Kumar C. Ramya Ramprasad Saptharishi Anamay Tengse

Published in: FOCS (2020)

Keyphrases

linear systems
artificial intelligence
image processing
wide range
artificial neural networks
theorem prover
formal proof