Integrating a simplified formula graph representation into a graph neural network model for premise selection | Publicación