PITA is a dataset of statements in propositional logic and their corresponding proofs. This dataset is introduced in our paper Boule or Baguette? A Study on Task Topology, Length Generalization, and the Benefit of Reasoning Traces.
The code for this project is available at
https://github.com/wtong98/boule-or-baguette.
