TheoremQA

Dataset Card for "TheoremQA" Introduction We propose the first question-answering dataset driven by STEM theorems. We annotated 800 QA pairs covering 350+ theorems spanning across Math, EE&CS, Physics and Finance. The dataset is collected by human experts with very high quality. We provide the dataset as a new benchmar

Papers using TheoremQA (2)

RLPR: Extrapolating RLVR to General Domains without Verifiers2025 · 69 citesConciseRL: Conciseness-Guided Reinforcement Learning for Efficient Reasoning Models2025