---
title: "Who cites Pantograph: A — 12 citing papers — Elamur Research"
description: "12 papers of the Elamur Research library cite «Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High…"
canonical: "https://research.elamur.ai/free/en/papers/aniva-2024-pantograph-machine-machine-interaction-interface/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/aniva-2024-pantograph-machine-machine-interaction-interface/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Pantograph: A Machine-to-Machine Interaction…](https://md.research.elamur.ai/free/en/papers/aniva-2024-pantograph-machine-machine-interaction-interface/) / cited by

# Who cites «Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4»

12 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 «Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4»](https://md.research.elamur.ai/free/en/papers/aniva-2024-pantograph-machine-machine-interaction-interface/)

1. [**Kimina Lean Server: A High-Performance Lean Server for Large-Scale Verification arXiv:2504.21230**Marco Dos Santos, Hugues de Saxcé, Haiming Wang, et al.*2025 · 14 citations*](https://md.research.elamur.ai/free/en/papers/santos-2025-kimina-lean-server-high-performance/)
2. **[Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models](https://md.research.elamur.ai/free/en/papers/cao-2025-reviving-dsp-advanced-theorem-proving/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Chenrui Cao, Liangcheng Song, Zenan Li, et al.*2025 · 7 citations*
3. [**Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving arXiv:2507.02726**Matthieu Zimmer, Xiaotong Ji, Rasul Tutunov, et al.*2025 · 5 citations*](https://md.research.elamur.ai/free/en/papers/zimmer-2025-bourbaki-self-generated-goal-conditioned/)
4. **[RLMEval: Evaluating Research-Level Neural Theorem Proving](https://md.research.elamur.ai/free/en/papers/poiroux-2025-rlmeval-evaluating-research-level-neural/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Auguste Poiroux, Antoine Bosselut, Viktor Kunčak*2025 · 5 citations*

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

- [← back to](https://md.research.elamur.ai/free/en/papers/aniva-2024-pantograph-machine-machine-interaction-interface/) — Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4