A Survey of Deep Learning for Geometry Problem Solving