Before revision:  We systematically test proof generation capabilities , along with inference capabilities leveraging the generated proofs .
After revision:  We systematically test proof generation capabilities , along with the accuracy of the final inference .