Machine Learning Gravity Compactifications on Negatively Curved Manifolds