IneqSearch: Hybrid Reasoning for Olympiad Inequality Proofs - Li, Zhaoqun; Liao, Beishui; Ye, Qiwei (Advances in Neural Information Processing Systems, 2025)