🔗 Who cites «Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning»

11 papers of our library cite it (of the 149,439 whose bibliographies we read) · 5 with a page here, the most cited first · ← back to «Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning»

1. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
2. A Survey of Frontiers in LLM Reasoning: Inference Scaling, Learning to Reason, and Agentic SystemsarXiv:2504.09037Zixuan Ke, Fangkai Jiao, Yifei Ming, et al.2025 · 39 citations
3. Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2arXiv:2502.03544Yuri Chervonyi, Trieu H. Trinh, Miroslav Olšák, et al.2025 · 31 citations
4. Reviving DSP for Advanced Theorem Proving in the Era of Reasoning ModelsConference on Neural Information Processing Systems (NeurIPS)Chenrui Cao, Liangcheng Song, Zenan Li, et al.2025 · 7 citations
5. Language Models Learn Universal Representations of Numbers and Here's Why You Should CareAnnual Meeting of the Association for Computational Linguistics (ACL)Michal Štefánik, Timothee Mickus, Marek Kadlčík, et al.2026

6 more papers of our library cite it; they have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/papers/li-2025-proving-olympiad-inequalities-synergizing-llms/cited-by/