4 ms·
Surely more trivial: your ML's task is to divide all strings into "theorems" and "non-theorems" under the set of rules embodied by the training set.
by jepler 8y ago
Surely more trivial: your ML's task is to divide all strings into "theorems" and "non-theorems" under the set of rules embodied by the training set.