An Automated Approach to the Collatz Conjecture.

Emre Yolcu Scott Aaronson Marijn J. H. Heule

Published in: CoRR (2021)

Keyphrases

learning algorithm
decision trees
support vector
pairwise
data points
supervised learning
decision rules
learning theory