TheoremQA: leaderboard

800 questions covering 350 theorems in math, physics, EE/CS and finance, with integer, float, list, boolean or option answers, from the University of Waterloo (2023); GPT-4 scored 51% at release.

Source: arxiv.org.

Interactive version: theaggregate.ai/benchmark?slug=theoremqa · How It Works · Data refreshed daily, snapshot 2026-09-05.