ruletaker
- This repo contains tools and utilities to: 1. Generate datasets of theories and assertions meant to test the logical reasoning capabilities of a model. For details see the paper [transformers as Soft Reasoners over Language](https://arxiv.org/abs/2002.05867). 2. Run existing theories through a theorem proving engine to obtain labels.