World Wires · story 110164 · corroborated · 1 source(s)

TCSExam: Evaluating Frontier LLMs on Theoretical Computer Science

Researchers introduce TCSExam, a unified benchmark designed to evaluate large language models on theoretical computer science research and theorem proving.

Open in the desk

Coverage

What this site indexes