---
title: "Who cites Peano: Learning Formal Mathematical Reasoning"
description: "6 papers of the Elamur Research library cite «Peano: Learning Formal Mathematical Reasoning», found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/papers/poesia-2022-peano-learning-formal-mathematical-reasoning/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/poesia-2022-peano-learning-formal-mathematical-reasoning/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Peano: Learning Formal Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/poesia-2022-peano-learning-formal-mathematical-reasoning/) / cited by

# Who cites «Peano: Learning Formal Mathematical Reasoning»

6 papers of our library cite it (of the 149,439 whose bibliographies we read) · 6 with a page here, the most cited first · [← back to «Peano: Learning Formal Mathematical Reasoning»](https://md.research.elamur.ai/free/en/papers/poesia-2022-peano-learning-formal-mathematical-reasoning/)

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. [**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/)
3. **[Forward-Backward Reasoning in Large Language Models for Mathematical Verification](https://md.research.elamur.ai/free/en/papers/jiang-2024-forward-backward-reasoning-large-language/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Weisen Jiang, Han Shi, Longhui Yu, et al.*2024 · 44 citations*
4. [**Evaluating Language Models for Mathematics through Interactions arXiv:2306.01694**Katherine M. Collins, Albert Q. Jiang, Simon Frieder, et al.*2023 · 40 citations*](https://md.research.elamur.ai/free/en/papers/collins-2023-evaluating-language-models-mathematics-through/)
5. **[Learning Formal Mathematics From Intrinsic Motivation](https://md.research.elamur.ai/free/en/papers/poesia-2024-learning-formal-mathematics-intrinsic-motivation/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Gabriel Poesia, David Broman, Nick Haber, et al.*2024 · 23 citations*
6. [**Certified Deductive Reasoning with Language Models arXiv:2306.04031**Gabriel Poesia, Kanishk Gandhi, Eric Zelikman, et al.*2023 · 23 citations*](https://md.research.elamur.ai/free/en/papers/poesia-2023-certified-deductive-reasoning-language-models/)
- [← back to](https://md.research.elamur.ai/free/en/papers/poesia-2022-peano-learning-formal-mathematical-reasoning/) — Peano: Learning Formal Mathematical Reasoning