Next-Token Prediction Task Assumes Optimal Data Ordering for LLM Training in Proof Generation. - Chenyang An; Shima Imani; Feng Yao; Chengyu Dong; Ali Abbasi 008; Harsh Shrivastava 001; Samuel Buss; Jingbo Shang; Gayathri Mahalingam; Pramod Sharma; Maurice Diesendruck (CoRR, 2024)