🔗 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»

1. Baldur: Whole-Proof Generation and Repair with Large Language ModelsarXiv:2303.04910Emily First, Markus N. Rabe, Talia Ringer, et al.2023 · 175 citations
2. GamePad: A Learning Environment for Theorem ProvingarXiv:1806.00608Daniel Huang, Prafulla Dhariwal, Dawn Song, et al.2018 · 94 citations
3. IsarStep: a Benchmark for High-level Mathematical ReasoningarXiv:2006.09265Wenda Li, Lei Yu, Yuhuai Wu, et al.2020 · 43 citations
4. Magnushammer: A Transformer-Based Approach to Premise SelectionarXiv:2303.04488Maciej Mikuła, Szymon Tworkowski, Szymon Antoniak, et al.2023 · 35 citations

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

This page in Markdown → https://md.research.elamur.ai/free/en/papers/nagashima-2018-pamper-proof-method-recommendation-system/cited-by/