TY  - RPRT
TI  - TCSAlgBench: Benchmarking Automated Proving for Research-Level Theoretical Computer Science
AU  - Chutong Yang
AU  - Xiyuan Zhang
AU  - Yu Huang
AU  - Boran Han
AU  - Soonho Kong
AU  - Shuai Zhang
AU  - Vihang Prakash Patil
AU  - Zhen Han
AU  - Michael Bohlke-Schneider
AU  - Bernie Wang
PY  - 2026
UR  - https://arxiv.org/abs/2609.35606
ID  - 2609.35606
ER  -