The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023) - View it on GitHub