Procedural knowledge in pretraining drives reasoning in large language modelsarxiv.org·248 pts·reqo·101