---
title: "Who cites Learning Formal Mathematics From Intrinsic Motivation"
description: "17 papers of the Elamur Research library cite «Learning Formal Mathematics From Intrinsic Motivation», found in their bibliographies; the…"
canonical: "https://research.elamur.ai/free/en/papers/poesia-2024-learning-formal-mathematics-intrinsic-motivation/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/poesia-2024-learning-formal-mathematics-intrinsic-motivation/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Learning Formal Mathematics From Intrinsic…](https://md.research.elamur.ai/free/en/papers/poesia-2024-learning-formal-mathematics-intrinsic-motivation/) / cited by

# Who cites «Learning Formal Mathematics From Intrinsic Motivation»

17 papers of our library cite it (of the 149,439 whose bibliographies we read) · 7 with a page here, the most cited first · [← back to «Learning Formal Mathematics From Intrinsic Motivation»](https://md.research.elamur.ai/free/en/papers/poesia-2024-learning-formal-mathematics-intrinsic-motivation/)

1. [**Evaluation of OpenAI o1: Opportunities and Challenges of AGI arXiv:2409.18486**Tianyang Zhong, Zhengliang Liu, Yi Pan, et al.*2024 · 64 citations*](https://md.research.elamur.ai/free/en/papers/zhong-2024-evaluation-openai-o1-opportunities-challenges/)
2. **[Absolute Zero: Reinforced Self-play Reasoning with Zero Data](https://md.research.elamur.ai/free/en/papers/zhao-2025-absolute-zero-reinforced-self-play/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Andrew Zhao, Yiran Wu, Yang Yue, et al.*2025 · 57 citations*
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. [**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/)
5. [**Learning to Reason without External Rewards arXiv:2505.19590**Xuandong Zhao, Zhewei Kang, Aosong Feng, et al.*2025 · 44 citations*](https://md.research.elamur.ai/free/en/papers/zhao-2025-learning-reason-external-rewards/)
6. [**STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving arXiv:2502.00212**Kefan Dong, Tengyu Ma*2025 · 43 citations*](https://md.research.elamur.ai/free/en/papers/dong-2025-stp-self-play-llm-theorem/)
7. [**Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean arXiv:2404.12534**Peiyang Song, Kaiyu Yang, Anima Anandkumar*2024 · 39 citations*](https://md.research.elamur.ai/free/en/papers/song-2024-lean-copilot-large-language-models/)

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

- [← back to](https://md.research.elamur.ai/free/en/papers/poesia-2024-learning-formal-mathematics-intrinsic-motivation/) — Learning Formal Mathematics From Intrinsic Motivation