Measuring Systematic Generalization in Neural Proof Generation with Transformers - Citation Graph | Papersgraph