automated theorem proving, Clause selection, Graph Neural Network, machine learning, saturation-based theorem proving.