An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations.