---
title: "Who cites Miroslav Olšák — 49 papers of our library"
description: "49 papers of the Elamur Research library cite the works of Miroslav Olšák, found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/authors/miroslav-olsak/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/miroslav-olsak/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Miroslav Olšák](https://md.research.elamur.ai/free/en/authors/miroslav-olsak/) / cited by

# Who cites Miroslav Olšák

54 citations of their works from 49 papers of our library (of the 149,439 whose bibliographies we read) · 24 with a page here, the most cited first · [← Miroslav Olšák](https://md.research.elamur.ai/free/en/authors/miroslav-olsak/)

1. **[PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition](https://md.research.elamur.ai/free/en/papers/tsoukalas-2024-putnambench-evaluating-neural-theorem-provers/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**George Tsoukalas, Jasper Lee, John Jennings, et al.*2024 · 93 citations*
2. [**Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction arXiv:2508.03613**Yong Lin, Shange Tang, Bohan Lyu, et al.*2025 · 67 citations*](https://md.research.elamur.ai/free/en/papers/lin-2025-goedel-prover-v2-scaling-formal/)
3. [**Formal Mathematical Reasoning: A New Frontier in AI arXiv:2412.16075**Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.*2024 · 49 citations*](https://md.research.elamur.ai/free/en/papers/yang-2024-formal-mathematical-reasoning-new-frontier/)
4. [**Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving arXiv:2507.23726**Luoxin Chen, Jinming Gu, Liankai Huang, et al.*2025 · 46 citations*](https://md.research.elamur.ai/free/en/papers/chen-2025-seed-prover-deep-broad-reasoning/)
5. [**A Survey on Deep Learning for Theorem Proving arXiv:2404.09939**Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.*2024 · 46 citations*](https://md.research.elamur.ai/free/en/papers/li-2024-survey-deep-learning-theorem-proving/)
6. **[ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)](https://md.research.elamur.ai/free/en/papers/jakubuv-2020-enigma-anonymous-symbol-independent-inference/) [Lecture notes in computer science](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/)**Jan Jakubův, Karel Chvalovský, Miroslav Olšák, et al.*2020 · 42 citations*
7. [**INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving arXiv:2007.02924**Yuhuai Wu, Albert Qiaochu Jiang, Jimmy Ba, et al.*2020 · 41 citations*](https://md.research.elamur.ai/free/en/papers/wu-2020-int-inequality-benchmark-evaluating-generalization/)
8. **[Towards Robust Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/luong-2025-robust-mathematical-reasoning/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Thang Luong, Dawsen Hwang, Hoang H Nguyen, et al.*2025 · 40 citations*
9. [**DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning arXiv:2511.22570**Zhihong Shao, Yuxiang Luo, Chengda Lu, et al.*2025 · 33 citations*](https://md.research.elamur.ai/free/en/papers/shao-2025-deepseekmath-v2-self-verifiable/)
10. **[Aristotle: IMO-level Automated Theorem Proving](https://md.research.elamur.ai/free/en/papers/achim-2025-aristotle-imo-level-automated-theorem/) [SuperIntelligence - Robotics - Safety & Alignment](https://md.research.elamur.ai/free/en/venues/superintelligence-robotics-safety-alignment/)**Tudor Achim, Alex Best, Alberto Bietti, et al.*2025 · 29 citations*
11. **[Towards Finding Longer Proofs](https://md.research.elamur.ai/free/en/papers/zombori-2019-finding-longer-proofs/) [Lecture notes in computer science](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/)**Zsolt Zombori, Adrián Csiszárik, Henryk Michalewski, et al.*2019 · 21 citations*
12. **[From Problem-Solving to Teaching Problem-Solving: Aligning LLMs with Pedagogy using Reinforcement Learning](https://md.research.elamur.ai/free/en/papers/jianu-2025-problem-solving-teaching-problem-solving/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**David Dinucu-Jianu, Jakub Macina, Nico Daheim, et al.*2025 · 19 citations*
13. [**Graph2Tac: Online Representation Learning of Formal Math Concepts arXiv:2401.02949**Lasse Blaauwbroek, Miroslav Olšák, Jason Rute, et al.*2024 · 19 citations*](https://md.research.elamur.ai/free/en/papers/blaauwbroek-2024-graph2tac-online-representation-learning-formal/)
14. [**miniCTX: Neural Theorem Proving with (Long-)Contexts arXiv:2408.03350**Jiewen Hu, Thomas Zhu, Sean Welleck*2024 · 18 citations*](https://md.research.elamur.ai/free/en/papers/hu-2024-minictx-neural-theorem-proving-long/)
15. **[Proving Olympiad Algebraic Inequalities without Human Demonstrations](https://md.research.elamur.ai/free/en/papers/wei-2024-proving-olympiad-algebraic-inequalities-without/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Chenrui Wei, Mengzhou Sun, Wei Wang*2024 · 12 citations*
16. [**Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning arXiv:2502.13834**Zenan Li, Zhaoyu Li, Wen Tang, et al.*2025 · 11 citations*](https://md.research.elamur.ai/free/en/papers/li-2025-proving-olympiad-inequalities-synergizing-llms/)
17. [**Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics arXiv:2510.12787**Benjamin Breen, Marco Del Tredici, Jacob McCarran, et al.*2025 · 9 citations*](https://md.research.elamur.ai/free/en/papers/breen-2025-ax-prover-deep-reasoning-agentic/)
18. [**AlphaGo Moment for Model Architecture Discovery arXiv:2507.18074**Yixiu Liu, Yang Nan, Weixian Xu, et al.*2025 · 8 citations*](https://md.research.elamur.ai/free/en/papers/liu-2025-alphago-moment-model-architecture/)
19. **[Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models](https://md.research.elamur.ai/free/en/papers/guo-2026-mathematical-proof-as-litmus-test/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Dadi Guo, Jiayu Liu, Zhiyuan Fan, et al.*2026 · 5 citations*
20. **[VisAidMath: Benchmarking Visual-Aided Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/ma-2026-visaidmath-benchmarking-visual-aided-mathematical/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jingkun Ma, Runzhe Zhan, Yang Li, et al.*2026 · 5 citations*
21. [**Premise Selection for a Lean Hammer arXiv:2506.07477**Thomas Zhu, Joshua Clune, Jeremy Avigad, et al.*2025 · 5 citations*](https://md.research.elamur.ai/free/en/papers/zhu-2025-premise-selection-lean-hammer/)
22. **[A Survey of Deep Learning for Geometry Problem Solving](https://md.research.elamur.ai/free/en/papers/ma-2026-survey-deep-learning-geometry-problem/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jianzhe Ma, Wenxuan Wang, Qin Jin*2026 · 1 citation*
23. **[AraEval: An Arabic Multi-Task Evaluation Suite for Large Language Models](https://md.research.elamur.ai/free/en/papers/althnian-2025-araeval-arabic-multi-task-evaluation/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Alhanoof Althnian, Norah A. Alzahrani, Shaykhah Z. Alsubaie, et al.*2025 · 1 citation*
24. **[GeometryZero: Advancing Geometry Solving via Group Contrastive Policy Optimization](https://md.research.elamur.ai/free/en/papers/wang-2026-geometryzero-advancing-geometry-solving-group/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Yikun Wang, Yibin Wang, Dianyi Wang, et al.*2026*

25 more citing papers of our library have no page here yet.

- [← back to](https://md.research.elamur.ai/free/en/authors/miroslav-olsak/) — Miroslav Olšák