Before revision:  We observe length-generalization issues in proof generation and inference when evaluated on longer-than-trained sequences.
After revision:  We observe length-generalization issues when evaluated on longer-than-trained sequences.