Michael Bohlke-Schneider

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Eval Frameworks & Benchmarks (1)Reasoning & Chain-of-Thought (1)

Frequent co-authors

Chutong Yang (1)Xiyuan Zhang (1)Yu Huang (1)Boran Han (1)Soonho Kong (1)Shuai Zhang (1)Vihang Prakash Patil (1)Zhen Han (1)

Papers (1)

Sep 28, 2026

2w ago·also UPenn

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

Even the strongest LLM agent workflows top out at just 25.4% proof coverage on STOC and COLT theorems, exposing a massive capability overhang between competition math performance and genuine theoretical computer science research.

Chutong Yang, Xiyuan Zhang, Yu Huang +7

Eval Frameworks & Benchmarks Reasoning & Chain-of-Thought

Michael Bohlke-Schneider

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)

Search

Michael Bohlke-Schneider

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)