🔗 Who cites «Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving»
5 papers of our library cite it (of the 149,439 whose bibliographies we read) · 1 with a page here, the most cited first · ← back to «Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving»
- Hilbert: Recursively Building Formal Proofs with Informal ReasoningarXiv:2509.22819Sumanth Varambally, Thomas Voice, Yanchao Sun, et al.2025 · 26 citations
4 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/zimmer-2025-bourbaki-self-generated-goal-conditioned/cited-by/