---
title: "Who cites Guiding Inferences in Connection — 6 citing papers"
description: "6 papers of the Elamur Research library cite «Guiding Inferences in Connection Tableau by Recurrent Neural Networks», found in their…"
canonical: "https://research.elamur.ai/free/en/papers/piotrowski-2019-guiding-inferences-connection-tableau-recurrent/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/piotrowski-2019-guiding-inferences-connection-tableau-recurrent/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Guiding Inferences in Connection Tableau by…](https://md.research.elamur.ai/free/en/papers/piotrowski-2019-guiding-inferences-connection-tableau-recurrent/) / cited by

# Who cites «Guiding Inferences in Connection Tableau by Recurrent Neural Networks»

6 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 «Guiding Inferences in Connection Tableau by Recurrent Neural Networks»](https://md.research.elamur.ai/free/en/papers/piotrowski-2019-guiding-inferences-connection-tableau-recurrent/)

1. [**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/)
2. [**IsarStep: a Benchmark for High-level Mathematical Reasoning arXiv:2006.09265**Wenda Li, Lei Yu, Yuhuai Wu, et al.*2020 · 43 citations*](https://md.research.elamur.ai/free/en/papers/li-2020-isarstep-benchmark-high-level-mathematical/)
3. [**LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning arXiv:2101.06223**Yuhuai Wu, Markus Rabe, Wenda Li, et al.*2021 · 39 citations*](https://md.research.elamur.ai/free/en/papers/wu-2021-lime-learning-inductive-bias-primitives/)
4. **[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*

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

- [← back to](https://md.research.elamur.ai/free/en/papers/piotrowski-2019-guiding-inferences-connection-tableau-recurrent/) — Guiding Inferences in Connection Tableau by Recurrent Neural Networks