LLMs may encode reasoning operations separately from whether they’re correct · Digg