Procedural knowledge in pretraining drives reasoning in large language modelsarxiv.org248 pointsreqo2 years ago