Machine learning detects terminal singularities

Re-assign community