--- title: "Who cites Automated Theorem Proving in — 6 citing papers" description: "6 papers of the Elamur Research library cite «Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement…" canonical: "https://research.elamur.ai/free/en/papers/kusumoto-2018-automated-theorem-proving-intuitionistic-propositional/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/kusumoto-2018-automated-theorem-proving-intuitionistic-propositional/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Automated Theorem Proving in Intuitionistic…](https://md.research.elamur.ai/free/en/papers/kusumoto-2018-automated-theorem-proving-intuitionistic-propositional/) / cited by # Who cites «Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning» 6 papers of our library cite it (of the 149,439 whose bibliographies we read) · 2 with a page here, the most cited first · [← back to «Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning»](https://md.research.elamur.ai/free/en/papers/kusumoto-2018-automated-theorem-proving-intuitionistic-propositional/) 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. [**Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning arXiv:1807.08058**Gil Lederman, Markus N. Rabe, Edward A. Lee, et al.*2018 · 12 citations*](https://md.research.elamur.ai/free/en/papers/lederman-2018-learning-heuristics-quantified-boolean-formulas/) 4 more papers of our library cite it; they have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/papers/kusumoto-2018-automated-theorem-proving-intuitionistic-propositional/) — Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning