Proof in the time of machines.

Andrew Granville

Published in: CoRR (2023)

Keyphrases

real time
databases
artificial intelligence
complete axiomatization
data sets
neural network
artificial neural networks
evolutionary algorithm
special case
theorem prover
theorem proving