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

1. Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from ExperiencearXiv:2512.17260Jiangjie Chen, Wenxiang Chen, Jiacheng Du, et al.2025 · 19 citations
2. ReForm: Reflective Autoformalization with Prospective Bounded Sequence OptimizationarXiv:2510.24592Guoxin Chen, Jing Wu, Xinjie Chen, et al.2025 · 8 citations

10 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/peng-2026-criticlean-critic-guided-reinforcement-learning/cited-by/