Measuring Systematic Generalization in Neural Proof Generation with Transformers

Open in new window