---
title: "Who cites Stateful Premise Selection by — 7 citing papers"
description: "7 papers of the Elamur Research library cite «Stateful Premise Selection by Recurrent Neural Networks», found in their bibliographies; the…"
canonical: "https://research.elamur.ai/free/en/papers/piotrowski-2020-stateful-premise-selection-recurrent-neural/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/piotrowski-2020-stateful-premise-selection-recurrent-neural/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Stateful Premise Selection by Recurrent Neural…](https://md.research.elamur.ai/free/en/papers/piotrowski-2020-stateful-premise-selection-recurrent-neural/) / cited by

# Who cites «Stateful Premise Selection by Recurrent Neural Networks»

7 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 «Stateful Premise Selection by Recurrent Neural Networks»](https://md.research.elamur.ai/free/en/papers/piotrowski-2020-stateful-premise-selection-recurrent-neural/)

1. [**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/)
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. **[First Neural Conjecturing Datasets and Experiments](https://md.research.elamur.ai/free/en/papers/urban-2020-first-neural-conjecturing-datasets-experiments/) [Lecture notes in computer science](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/)**Josef Urban, Jan Jakubův*2020 · 40 citations*
4. [**Magnushammer: A Transformer-Based Approach to Premise Selection arXiv:2303.04488**Maciej Mikuła, Szymon Tworkowski, Szymon Antoniak, et al.*2023 · 35 citations*](https://md.research.elamur.ai/free/en/papers/mikula-2023-magnushammer-transformer-based-approach-premise/)

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

- [← back to](https://md.research.elamur.ai/free/en/papers/piotrowski-2020-stateful-premise-selection-recurrent-neural/) — Stateful Premise Selection by Recurrent Neural Networks