Welleck, S.; West, P.; Cao, J.; Choi, Y. Symbolic Brittleness in Sequence Models: On Systematic Generalization in Symbolic Mathematics. AAAI 2022, 36, 8629-8637.