MeasuringSystematicGeneralization inNeuralProofGenerationwithTransformers