TCS-BENCH

What is TCS-BENCH?

Evaluates LLMs on research-level theoretical computer science proof generation, using theorem-proving tasks from papers at STOC, FOCS, and SODA. Provides…

Released

2026-08-10

Evaluates

Language & Knowledge, Mathematics & Formal Science, cs.CL

Openness

unknown

Importer

Claire Radar

Review status

unreviewed

Reported scores

0

Source provenance

• Original evidence https://arxiv.org/abs/2608.09538

TCS-BENCH paper

• Paper https://arxiv.org/abs/2608.09538

Which sources cite TCS-BENCH?

• TCS-BENCH

Related Language & Knowledge, Mathematics & Formal Science, cs.CL benchmarks

• 5-Dialects-BN
• A Large-Scale Dataset and Benchmark
• AARRI-Bench
• ABC-Bench
• ActiveSciBench
• AdaMem-Bench
• AdaPlanBench
• AdvancedMathBench