🔗 Who cites «Brains vs. Bytes: Evaluating LLM Proficiency in Olympiad Mathematics»

8 papers of our library cite it (of the 149,439 whose bibliographies we read) · 4 with a page here, the most cited first · ← back to «Brains vs. Bytes: Evaluating LLM Proficiency in Olympiad Mathematics»

1. MathArena: Evaluating LLMs on Uncontaminated Math CompetitionsConference on Neural Information Processing Systems (NeurIPS)Mislav Balunović, Jasper Dekoninck, Ivo Petrov, et al.2025 · 99 citations
2. Hilbert: Recursively Building Formal Proofs with Informal ReasoningarXiv:2509.22819Sumanth Varambally, Thomas Voice, Yanchao Sun, et al.2025 · 26 citations
3. Fast and Effective On-Policy Distillation from Reasoning PrefixesFindings of the Association for Computational LinguisticsDongxu Zhang, Zhichao Yang, Sepehr Janghorbani, et al.2026 · 12 citations
4. The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical ProofsarXiv:2506.21621Jasper Dekoninck, Ivo Petrov, Kristian Minchev, et al.2025 · 11 citations

4 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/mahdavi-2025-brains-vs-bytes-evaluating-llm/cited-by/