LeanProgress: Orientando la búsqueda para la demostración automática de teoremas neuronales mediante la predicción del avance en la demostración