On the Existence of Algebraically Natural Proofs.

Prerona Chatterjee Mrinal Kumar C. Ramya Ramprasad Saptharishi Anamay Tengse

Published in: CoRR (2020)

Keyphrases

real world
data sets
decision making
decision trees
reinforcement learning
data structure
multiresolution
special case
man made
artificial systems