FormalTCS Benchmark

What is FormalTCS?

175 expert-validated instances from STOC, FOCS, SODA, and COLT papers (2025-2026) for evaluating LLMs on end-to-end theoretical computer science research…

Released

2026-08-20

Evaluates

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

Openness

unknown

Importer

Claire Radar

Review status

ai-reviewed

Reported scores

0

Source provenance

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

FormalTCS paper

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

Which sources cite FormalTCS?

• FormalTCS

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