---
title: "Who cites Mathematical Reasoning in Latent — 11 citing papers"
description: "11 papers of the Elamur Research library cite «Mathematical Reasoning in Latent Space», found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/papers/lee-2019-mathematical-reasoning-latent-space/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/lee-2019-mathematical-reasoning-latent-space/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Mathematical Reasoning in Latent Space](https://md.research.elamur.ai/free/en/papers/lee-2019-mathematical-reasoning-latent-space/) / cited by

# Who cites «Mathematical Reasoning in Latent Space»

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 «Mathematical Reasoning in Latent Space»](https://md.research.elamur.ai/free/en/papers/lee-2019-mathematical-reasoning-latent-space/)

1. [**Learning to Prove Theorems by Learning to Generate Theorems arXiv:2002.07019**Mingzhe Wang, Jia Deng*2020 · 53 citations*](https://md.research.elamur.ai/free/en/papers/wang-2020-learning-prove-theorems-learning-generate/)
2. [**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/)
3. [**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/)
4. [**Learning to Reason in Large Theories without Imitation arXiv:1905.10501**Kshitij Bansal, Christian Szegedy, Markus N. Rabe, et al.*2019 · 36 citations*](https://md.research.elamur.ai/free/en/papers/bansal-2019-learning-reason-large-theories-without/)
5. [**Teaching Temporal Logics to Neural Networks arXiv:2003.04218**Christopher Hahn, Frederik Schmitt, Jens U. Kreber, et al.*2020 · 24 citations*](https://md.research.elamur.ai/free/en/papers/hahn-2020-teaching-temporal-logics-neural-networks/)

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

- [← back to](https://md.research.elamur.ai/free/en/papers/lee-2019-mathematical-reasoning-latent-space/) — Mathematical Reasoning in Latent Space