Proving Olympiad Algebraic Inequalities without Human Demonstrations - Wei, Chenrui; Sun, Mengzhou; Wang, Wei (Advances in Neural Information Processing Systems, 2024)