Chenrui Wei, Mengzhou Sun, Wei Wang: Proving Olympiad Algebraic Inequalities without Human Demonstrations. NeurIPS 2024