@misc{indiciae2fb155c04f03,
  title = {TCSAlgBench: Benchmarking Automated Proving for Research-Level Theoretical Computer Science},
  author = {Chutong Yang and Xiyuan Zhang and Yu Huang and Boran Han and Soonho Kong and Shuai Zhang and Vihang Prakash Patil and Zhen Han and Michael Bohlke-Schneider and Bernie Wang},
  year = {2026},
  url = {https://arxiv.org/abs/2609.35606},
  note = {Source identifier: 2609.35606}
}