Astgnns: A Graph Neural Network Model Integrated Simplified Logical Formula Graph Representation for Premise Selection | Publicación