---
title: "Who cites Seed-Prover 1.5: Mastering — 18 citing papers"
description: "18 papers of the Elamur Research library cite «Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from…"
canonical: "https://research.elamur.ai/free/en/papers/chen-2025-seed-prover-1-5/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/chen-2025-seed-prover-1-5/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Seed-Prover 1.5: Mastering Undergraduate-Level…](https://md.research.elamur.ai/free/en/papers/chen-2025-seed-prover-1-5/) / cited by

# Who cites «Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience»

18 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 «Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience»](https://md.research.elamur.ai/free/en/papers/chen-2025-seed-prover-1-5/)

1. [**DeepSeek-V4: Towards Highly Efficient Million-Token Context Intelligence arXiv:2606.19348**DeepSeek-AI, Anyi Xu, Bangcai Lin, et al.*2026 · 122 citations*](https://md.research.elamur.ai/free/en/papers/deepseek-ai-2026-deepseek-v4-highly-efficient/)

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

- [← back to](https://md.research.elamur.ai/free/en/papers/chen-2025-seed-prover-1-5/) — Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience