Machine-Learning the Classification of Spacetimes. - Yang-Hui He; Juan Manuel Pérez Ipiña (CoRR, 2022)