---
title: "Who cites PaMpeR: Proof Method — 5 citing papers"
description: "5 papers of the Elamur Research library cite «PaMpeR: Proof Method Recommendation System for Isabelle/HOL», found in their…"
canonical: "https://research.elamur.ai/free/en/papers/nagashima-2018-pamper-proof-method-recommendation-system/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/nagashima-2018-pamper-proof-method-recommendation-system/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [PaMpeR: Proof Method Recommendation System for…](https://md.research.elamur.ai/free/en/papers/nagashima-2018-pamper-proof-method-recommendation-system/) / cited by

# Who cites «PaMpeR: Proof Method Recommendation System for Isabelle/HOL»

5 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 «PaMpeR: Proof Method Recommendation System for Isabelle/HOL»](https://md.research.elamur.ai/free/en/papers/nagashima-2018-pamper-proof-method-recommendation-system/)

1. [**Baldur: Whole-Proof Generation and Repair with Large Language Models arXiv:2303.04910**Emily First, Markus N. Rabe, Talia Ringer, et al.*2023 · 175 citations*](https://md.research.elamur.ai/free/en/papers/first-2023-baldur-whole-proof-generation-repair/)
2. [**GamePad: A Learning Environment for Theorem Proving arXiv:1806.00608**Daniel Huang, Prafulla Dhariwal, Dawn Song, et al.*2018 · 94 citations*](https://md.research.elamur.ai/free/en/papers/huang-2018-gamepad-learning-environment-theorem-proving/)
3. [**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/)
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/)

1 more paper of our library cites it; it has no page here yet.

- [← back to](https://md.research.elamur.ai/free/en/papers/nagashima-2018-pamper-proof-method-recommendation-system/) — PaMpeR: Proof Method Recommendation System for Isabelle/HOL