TheoremQA: A Theorem-driven Question Answering Dataset Wenhu Chen author Ming Yin author Max Ku author Pan Lu author Yixin Wan author Xueguang Ma author Jianyu Xu author Xinyi Wang author Tony Xia author 2023-12 text Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing Houda Bouamor editor Juan Pino editor Kalika Bali editor Association for Computational Linguistics Singapore conference publication chen-etal-2023-theoremqa 10.18653/v1/2023.emnlp-main.489 https://aclanthology.org/2023.emnlp-main.489/ 2023-12 7889 7901