Before revision:  Specifically, we perform soft theorem-proving by leveraging TLMs to generate logical proofs represented in natural language . We systematically test proof generation capabilities , along with inference capabilities leveraging the generated proofs .
After revision:  Specifically, we perform soft theorem-proving by leveraging TLMs to generate natural language proofs. We test the generated proofs for logical consistency , along with inference capabilities leveraging the generated proofs .