MathZero, The Classification Problem, and Set-Theoretic Type Theory.

David McAllester

Published in: CoRR (2020)

Keyphrases

set theoretic
image recovery
pattern recognition
image classification
machine learning
feature selection
feature extraction
supervised learning
classification algorithm
data sets
computer vision
decision trees
feature vectors
training samples
information processing
high dimensionality