Fetching the paper…

Measuring Systematic Generalization in Neural Proof Generation with Transformers · Around