This is the repo for testing reasoning abilities on Symbolic Tree and ProofWriter datasets.

You can download [Symbol version](!https://drive.google.com/drive/folders/1k4aMkYVH8vJ9Uteow2_Rbqstl-Hw4thJ?usp=drive_link) of ProofWriter.