University of California, Los Angeles, United States; University of Waterloo, Canada; University of California, Santa Barbara, United States
Language Model;Question Answering;Math;Theorem
TheoremQA: A Theorem-driven Question Answering Dataset