HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving
ImageNet: A large-scale hierarchical image database