TCSAlgBench: Benchmarking Automated Proving for Research-Level Theoretical Computer Science.

arXiv:2609.35606v1 Announce Type: new Abstract: 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