Towards an algebraic natural proofs barrier via polynomial identity testing.

Joshua A. Grochow Mrinal Kumar Michael E. Saks Shubhangi Saraf

Published in: CoRR (2017)

Keyphrases

man made
software testing
neural network
genetic algorithm
lower bound
artificial systems