TY  - RPRT
TI  - TheoremQA: A Theorem-driven Question Answering dataset
AU  - Wenhu Chen
AU  - Ming Yin
AU  - Max Ku
AU  - Pan Lu
AU  - Yixin Wan
AU  - Xueguang Ma
AU  - Jianyu Xu
AU  - Xinyi Wang
AU  - Tony Xia
PY  - 2023
UR  - https://arxiv.org/abs/2305.12524
ID  - 2305.12524
ER  -