Story
arxiv_cs_cl · Sep 28, 2026 · paper
Source brief
TCSAlgBench: Benchmarking Automated Proving for Research-Level Theoretical Computer Science
arxiv.orgSep 28, 2026
original source linked
In brief
Large language models perform strongly on competition mathematics, but their research-level reasoning remains difficult to evaluate systematically. Theoretical computer science (TCS) connects algorithm design to expli...
Feed lens
agenticevaluation