---
title: "Who cites Deep Reinforcement Learning for — 4 citing papers"
description: "4 papers of the Elamur Research library cite «Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic», found in their…"
canonical: "https://research.elamur.ai/free/en/papers/gauthier-2019-deep-reinforcement-learning-synthesizing-functions/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/gauthier-2019-deep-reinforcement-learning-synthesizing-functions/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Deep Reinforcement Learning for Synthesizing…](https://md.research.elamur.ai/free/en/papers/gauthier-2019-deep-reinforcement-learning-synthesizing-functions/) / cited by

# Who cites «Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic»

4 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 «Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic»](https://md.research.elamur.ai/free/en/papers/gauthier-2019-deep-reinforcement-learning-synthesizing-functions/)

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. [**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/)
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. **[Guiding Inferences in Connection Tableau by Recurrent Neural Networks](https://md.research.elamur.ai/free/en/papers/piotrowski-2019-guiding-inferences-connection-tableau-recurrent/) [Lecture notes in computer science](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/)**Bartosz Piotrowski, Josef Urban*2019 · 15 citations*
- [← back to](https://md.research.elamur.ai/free/en/papers/gauthier-2019-deep-reinforcement-learning-synthesizing-functions/) — Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic