Elamur Research⌕
☰
home / authors / Rose Yu / cited by

Who cites Rose Yu

43 citations of their works from 43 papers of our library (of the 149,439 whose bibliographies we read) · 13 with a page here, the most cited first · ← Rose Yu

  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. Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal MathematicsarXiv:2601.14027Junqi Liu, Zihao Zhou, Zekai Zhu, et al.2026 · 15 citations
  3. Prover Agent: An Agent-Based Framework for Formal Mathematical ProofsarXiv:2506.19923Kaito Baba, Chaoran Liu, Shuhei Kurita, et al.2025 · 14 citations
  4. Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum PhysicsarXiv:2510.12787Benjamin Breen, Marco Del Tredici, Jacob McCarran, et al.2025 · 9 citations
  5. AI for Auto-Research: Roadmap & User GuidearXiv:2605.18661Lingdong Kong, Xian Sun, Wei Chow, et al.2026 · 5 citations
  6. SoundnessBench: Can Your AI Scientist Really Tell Good Research Ideas from Bad Ones?arXiv:2605.30329Sy-Tuyen Ho, Minghui Liu, Huy Nghiem, et al.2026 · 2 citations
  7. "Give a Positive Review Only": An Early Investigation Into In-Paper Prompt Injection Attacks and Defenses for AI ReviewersarXiv:2511.01287Qin Zhou, Zhexin Zhang, Zhi Li, et al.2025 · 2 citations
  8. Exploring the use of AI authors and reviewers at Agents4SciencearXiv:2511.15534Federico Bianchi, Owen Queen, Nitya Thakkar, et al.2025 · 2 citations
  9. When AI Reviews Train AI Reviewers: Scientific-Judgment Collapse and MitigationarXiv:2609.20942Sy-Tuyen Ho, Minghui Liu, Furong Huang2026

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

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