The dataset and code for paper: TheoremQA: A Theorem-driven Question Answering dataset - View it on GitHub