---
title: "Who cites Bourbaki: Self-Generated and — 5 citing papers"
description: "5 papers of the Elamur Research library cite «Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving», found in their…"
canonical: "https://research.elamur.ai/free/en/papers/zimmer-2025-bourbaki-self-generated-goal-conditioned/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/zimmer-2025-bourbaki-self-generated-goal-conditioned/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Bourbaki: Self-Generated and Goal-Conditioned…](https://md.research.elamur.ai/free/en/papers/zimmer-2025-bourbaki-self-generated-goal-conditioned/) / cited by

# 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»](https://md.research.elamur.ai/free/en/papers/zimmer-2025-bourbaki-self-generated-goal-conditioned/)

1. [**Hilbert: Recursively Building Formal Proofs with Informal Reasoning arXiv:2509.22819**Sumanth Varambally, Thomas Voice, Yanchao Sun, et al.*2025 · 26 citations*](https://md.research.elamur.ai/free/en/papers/varambally-2025-hilbert-recursively-building-formal-proofs/)

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

- [← back to](https://md.research.elamur.ai/free/en/papers/zimmer-2025-bourbaki-self-generated-goal-conditioned/) — Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving