TY  - RPRT
TI  - Measuring Systematic Generalization in Neural Proof Generation with Transformers
AU  - Nicolas Gontier
AU  - Koustuv Sinha
AU  - Siva Reddy
AU  - Christopher Pal
PY  - 2020
UR  - https://arxiv.org/abs/2009.14786
ID  - 2009.14786
ER  -