Measuring Systematic Generalization in Neural Proof Generation with Transformers

Specifically, we perform soft theorem-proving by leveraging TLMs to generate natural language proofs. We test the generated proofs for logical consistency, along with the accuracy of the final inference.