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.
Researchers introduce TCSExam, a unified benchmark designed to evaluate large language models on theoretical computer science research and theorem proving.