Procedural knowledge in pretraining drives reasoning in large language models December 1, 2024 by Comments