More Proof Machinery, More Compute: What TCSAlgBench Says About Research Agents
TL;DR for operators When a research agent fails on a difficult proof, the next question is how much more inference to spend: another independent attempt, verifier feedback, decomposition into intermediate claims, search across alternative proof branches, or a larger revisable plan. TCSAlgBench makes that allocation problem measurable on research-level theoretical computer science. ...