--- title: "Who cites CriticLean: Critic-Guided — 12 citing papers" description: "12 papers of the Elamur Research library cite «CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization», found in their…" canonical: "https://research.elamur.ai/free/en/papers/peng-2026-criticlean-critic-guided-reinforcement-learning/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/peng-2026-criticlean-critic-guided-reinforcement-learning/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [CriticLean: Critic-Guided Reinforcement Learning…](https://md.research.elamur.ai/free/en/papers/peng-2026-criticlean-critic-guided-reinforcement-learning/) / cited by # Who cites «CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization» 12 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 «CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization»](https://md.research.elamur.ai/free/en/papers/peng-2026-criticlean-critic-guided-reinforcement-learning/) 1. [**Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience arXiv:2512.17260**Jiangjie Chen, Wenxiang Chen, Jiacheng Du, et al.*2025 · 19 citations*](https://md.research.elamur.ai/free/en/papers/chen-2025-seed-prover-1-5/) 2. [**ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization arXiv:2510.24592**Guoxin Chen, Jing Wu, Xinjie Chen, et al.*2025 · 8 citations*](https://md.research.elamur.ai/free/en/papers/chen-2025-reform-reflective-autoformalization-prospective-bounded/) 10 more papers of our library cite it; they have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/papers/peng-2026-criticlean-critic-guided-reinforcement-learning/) — CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization