New Technique Uses Weaker Models to Find Localized Reasoning Bugs in Stronger Ones · Polylog