Planning to Prove: Improving Informal Proofs of Olympiad Inequalities from Large Language Models. - Le Van Thanh; Do Xuan Trong; Pham Duc Tinh; Hai Van Pham (MIWAI (2), 2025)