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

1. Kimina Lean Server: A High-Performance Lean Server for Large-Scale VerificationarXiv:2504.21230Marco Dos Santos, Hugues de Saxcé, Haiming Wang, et al.2025 · 14 citations
2. Reviving DSP for Advanced Theorem Proving in the Era of Reasoning ModelsConference on Neural Information Processing Systems (NeurIPS)Chenrui Cao, Liangcheng Song, Zenan Li, et al.2025 · 7 citations
3. Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem ProvingarXiv:2507.02726Matthieu Zimmer, Xiaotong Ji, Rasul Tutunov, et al.2025 · 5 citations
4. RLMEval: Evaluating Research-Level Neural Theorem ProvingFindings of the Association for Computational LinguisticsAuguste Poiroux, Antoine Bosselut, Viktor Kunčak2025 · 5 citations

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

This page in Markdown → https://md.research.elamur.ai/free/en/papers/aniva-2024-pantograph-machine-machine-interaction-interface/cited-by/