A large language model (LLM) trying many problems often has a fixed number of tries to split among them. The usual rule is to give harder problems more tries. This work asks whether that rule is right.
Using math, code, and formal-proof benchmarks, the authors found that the value of an extra try peaks at middle difficulty. The best fixed allocation is an inverted U: skip hopeless problems, favor solvable ones, and give hard problems extra tries only when the budget is generous.
With an automated answer checker and prior knowledge from a related model's past runs on the same problems, the solved share on the hardest workload rose from 14% to 27%. Without such prior knowledge, no policy beat giving every problem equal tries. So information about which inputs are solvable, not the allocation rule, drives the gain.
