--- title: "Who cites Jiewen Hu — 50 papers of our library" description: "50 papers of the Elamur Research library cite the works of Jiewen Hu, found in their bibliographies; the most cited first." canonical: "https://research.elamur.ai/free/en/authors/jiewen-hu/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/jiewen-hu/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Jiewen Hu](https://md.research.elamur.ai/free/en/authors/jiewen-hu/) / cited by # Who cites Jiewen Hu 50 citations of their works from 50 papers of our library (of the 149,439 whose bibliographies we read) · 22 with a page here, the most cited first · [← Jiewen Hu](https://md.research.elamur.ai/free/en/authors/jiewen-hu/) 1. [**DeepSeek-V3.2: Pushing the Frontier of Open Large Language Models arXiv:2512.02556**DeepSeek-AI, Aixin Liu, Aoxue Mei, et al.*2025 · 341 citations*](https://md.research.elamur.ai/free/en/papers/deepseek-ai-2025-deepseek-v3-2-pushing/) 2. [**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/) 3. [**DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search arXiv:2408.08152**Huajian Xin, Z. Z. Ren, Junxiao Song, et al.*2024 · 116 citations*](https://md.research.elamur.ai/free/en/papers/xin-2024-deepseek-prover-v1-5-harnessing/) 4. [**Formal Mathematical Reasoning: A New Frontier in AI arXiv:2412.16075**Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.*2024 · 49 citations*](https://md.research.elamur.ai/free/en/papers/yang-2024-formal-mathematical-reasoning-new-frontier/) 5. [**Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving arXiv:2507.23726**Luoxin Chen, Jinming Gu, Liankai Huang, et al.*2025 · 46 citations*](https://md.research.elamur.ai/free/en/papers/chen-2025-seed-prover-deep-broad-reasoning/) 6. [**Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience arXiv:2512.17260**Jiangjie Chen, Wenxiang Chen, Jiacheng Du, et al.*2025 · 19 citations*](https://md.research.elamur.ai/free/en/papers/chen-2025-seed-prover-1-5/) 7. **[APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning](https://md.research.elamur.ai/free/en/papers/ospanov-2025-apollo-automated-llm-lean-collaboration/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh*2025 · 17 citations* 8. [**Nemotron-Cascade 2: Post-Training LLMs with Cascade RL and Multi-Domain On-Policy Distillation arXiv:2603.19220**Zhuolin Yang, Zihan Liu, Yang Chen, et al.*2026 · 16 citations*](https://md.research.elamur.ai/free/en/papers/yang-2026-nemotron-cascade-2-post-training/) 9. **[Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening](https://md.research.elamur.ai/free/en/papers/he-2025-rewarding-unlikely-lifting-grpo-beyond/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Andre Wang He, Daniel Fried, Sean Welleck*2025 · 15 citations* 10. **[Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models](https://md.research.elamur.ai/free/en/papers/guo-2026-mathematical-proof-as-litmus-test/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Dadi Guo, Jiayu Liu, Zhiyuan Fan, et al.*2026 · 5 citations* 11. [**Premise Selection for a Lean Hammer arXiv:2506.07477**Thomas Zhu, Joshua Clune, Jeremy Avigad, et al.*2025 · 5 citations*](https://md.research.elamur.ai/free/en/papers/zhu-2025-premise-selection-lean-hammer/) 12. [**ImProver: Agent-Based Automated Proof Optimization arXiv:2410.04753**Riyaz Ahuja, Jeremy Avigad, Prasad Tetali, et al.*2024 · 5 citations*](https://md.research.elamur.ai/free/en/papers/ahuja-2024-improver-agent-based-automated-proof/) 13. **[miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward](https://md.research.elamur.ai/free/en/papers/ospanov-2025-minif2f-lean-revisited-reviewing-limitations/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh*2025 · 4 citations* 14. **[Learning While Staying Curious: Entropy-Preserving Supervised Fine-Tuning via Adaptive Self-Distillation for Large Reasoning Models](https://md.research.elamur.ai/free/en/papers/wang-2026-learning-while-staying-curious-entropy/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Hao Wang, Hao Gu, Hongming Piao, et al.*2026 · 3 citations* 15. **[Outcome Accuracy is Not Enough: Aligning the Reasoning Process of Reward Models](https://md.research.elamur.ai/free/en/papers/wang-2026-outcome-accuracy-is-not-enough/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Binghai Wang, Yantao Liu, Yuxuan Liu, et al.*2026 · 3 citations* 16. **[Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math](https://md.research.elamur.ai/free/en/papers/pandit-2026-hard2verify-step-level-verification-benchmark/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Shrey Pandit, Austin Xu, Xuan-Phi Nguyen, et al.*2026 · 2 citations* 17. **[AgentV-RL: Scaling Reward Modeling with Agentic Verifier](https://md.research.elamur.ai/free/en/papers/zhang-2026-agentv-rl-scaling-reward-modeling/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Jiazheng Zhang, Ziche Fu, Zhiheng Xi, et al.*2026* 18. **[Chaining the Evidence: Robust Reinforcement Learning for Deep Search Agents with Citation-Aware Rubric Rewards](https://md.research.elamur.ai/free/en/papers/zhang-2026-chaining-evidence-robust-reinforcement-learning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jiajie Zhang, Xin Lv, Ling Feng, et al.*2026* 19. **[Distributional Clarity: The Hidden Driver of RL-Friendliness in Large Language Models](https://md.research.elamur.ai/free/en/papers/sun-2026-distributional-clarity-hidden-driver-rl/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Shaoning Sun, Mingzhu Cai, Huang He, et al.*2026* 20. **[Fico: Evaluating Vision-Language Models under Visual Fidelity and Compression at Scale](https://md.research.elamur.ai/free/en/papers/tu-2026-fico-evaluating-vision-language-models/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Jianhong Tu, Nicholas Crispino, Kyle Montgomery, et al.*2026* 21. **[ImpRIF: Stronger Implicit Reasoning Leads to Better Complex Instruction Following](https://md.research.elamur.ai/free/en/papers/yang-2026-imprif-stronger-implicit-reasoning-leads/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Yuancheng Yang, Lin Yang, Xu Wang, et al.*2026* 22. **[RADO: Reasoning Audit-Driven Optimization for Rigorous Reasoning in High-Stakes Domains](https://md.research.elamur.ai/free/en/papers/tan-2026-rado-reasoning-audit-driven-optimization/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Zhijie Tan, Xu Chu, Guanyu Wang, et al.*2026* 28 more citing papers of our library have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/authors/jiewen-hu/) — Jiewen Hu