Elamur Research⌕
☰
home / authors / Dong Du / cited by

Who cites Dong Du

36 citations of their works from 36 papers of our library (of the 149,439 whose bibliographies we read) · 8 with a page here, the most cited first · ← Dong Du

  1. DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal DecompositionarXiv:2504.21801Z. Z. Ren, Zhihong Shao, Junxiao Song, et al.2025 · 122 citations
  2. Kimi Linear: An Expressive, Efficient Attention ArchitecturearXiv:2510.26692Kimi Team, Yu Zhang, Zongyu Lin, et al.2025 · 51 citations
  3. REAL-Prover: Retrieval Augmented Lean Prover for Mathematical ReasoningarXiv:2505.20613Ziju Shen, Naohao Huang, Fanyi Yang, et al.2025 · 10 citations
  4. Ring-lite: Scalable Reasoning via C3PO-Stabilized Reinforcement Learning for LLMsarXiv:2506.14731Ling Team, Bin Hu, Cai Chen, et al.2025 · 5 citations
  5. Hunyuan-A13B Technical ReportarXiv:2609.27284Tencent Hunyuan Team, Ao Liu, Botong Zhou, et al.2026 · 1 citation

28 more citing papers of our library have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/authors/dong-du/cited-by/