---
title: "Who cites Yuri Chervonyi — 73 papers of our library"
description: "73 papers of the Elamur Research library cite the works of Yuri Chervonyi, found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/authors/yuri-chervonyi/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/yuri-chervonyi/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Yuri Chervonyi](https://md.research.elamur.ai/free/en/authors/yuri-chervonyi/) / cited by

# Who cites Yuri Chervonyi

91 citations of their works from 73 papers of our library (of the 149,439 whose bibliographies we read) · 25 with a page here, the most cited first · [← Yuri Chervonyi](https://md.research.elamur.ai/free/en/authors/yuri-chervonyi/)

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. [**GLM-5: from Vibe Coding to Agentic Engineering arXiv:2602.15763**Aohan Zeng, Xin Lv, Zhenyu Hou, et al.*2026 · 95 citations*](https://md.research.elamur.ai/free/en/papers/team-2026-5-glm-5-vibe-coding/)
4. [**Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction arXiv:2508.03613**Yong Lin, Shange Tang, Bohan Lyu, et al.*2025 · 67 citations*](https://md.research.elamur.ai/free/en/papers/lin-2025-goedel-prover-v2-scaling-formal/)
5. [**Kimi K2.5: Visual Agentic Intelligence arXiv:2602.02276**Kimi Team, Tongtong Bai, Yifan Bai, et al.*2026 · 66 citations*](https://md.research.elamur.ai/free/en/papers/kimi-team-2026-kimi-k2-5-visual/)
6. [**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/)
7. **[Towards Robust Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/luong-2025-robust-mathematical-reasoning/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Thang Luong, Dawsen Hwang, Hoang H Nguyen, et al.*2025 · 40 citations*
8. [**DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning arXiv:2511.22570**Zhihong Shao, Yuxiang Luo, Chengda Lu, et al.*2025 · 33 citations*](https://md.research.elamur.ai/free/en/papers/shao-2025-deepseekmath-v2-self-verifiable/)
9. [**Qwen3.5-Omni Technical Report arXiv:2604.15804**Qwen Team*2026 · 29 citations*](https://md.research.elamur.ai/free/en/papers/qwen-team-2026-qwen3-5-omni-technical/)
10. **[Aristotle: IMO-level Automated Theorem Proving](https://md.research.elamur.ai/free/en/papers/achim-2025-aristotle-imo-level-automated-theorem/) [SuperIntelligence - Robotics - Safety & Alignment](https://md.research.elamur.ai/free/en/venues/superintelligence-robotics-safety-alignment/)**Tudor Achim, Alex Best, Alberto Bietti, et al.*2025 · 29 citations*
11. **[From Problem-Solving to Teaching Problem-Solving: Aligning LLMs with Pedagogy using Reinforcement Learning](https://md.research.elamur.ai/free/en/papers/jianu-2025-problem-solving-teaching-problem-solving/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**David Dinucu-Jianu, Jakub Macina, Nico Daheim, et al.*2025 · 19 citations*
12. [**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/)
13. [**Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics arXiv:2510.12787**Benjamin Breen, Marco Del Tredici, Jacob McCarran, et al.*2025 · 9 citations*](https://md.research.elamur.ai/free/en/papers/breen-2025-ax-prover-deep-reasoning-agentic/)
14. [**AlphaGo Moment for Model Architecture Discovery arXiv:2507.18074**Yixiu Liu, Yang Nan, Weixian Xu, et al.*2025 · 8 citations*](https://md.research.elamur.ai/free/en/papers/liu-2025-alphago-moment-model-architecture/)
15. **[Automated Conjecture Resolution with Formal Verification](https://md.research.elamur.ai/free/en/papers/ju-2026-automated-conjecture-resolution-formal-verification/) [SuperIntelligence - Robotics - Safety & Alignment](https://md.research.elamur.ai/free/en/venues/superintelligence-robotics-safety-alignment/)**Haocheng Ju, Guoxiong Gao, Jiedong Jiang, et al.*2026 · 5 citations*
16. **[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*
17. **[PaCoRe: Learning to Scale Test-Time Compute with Parallel Coordinated Reasoning](https://md.research.elamur.ai/free/en/papers/hu-2026-pacore-learning-scale-test-time/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jingcheng Hu, Yinmin Zhang, Shijie Shang, et al.*2026 · 5 citations*
18. **[VisAidMath: Benchmarking Visual-Aided Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/ma-2026-visaidmath-benchmarking-visual-aided-mathematical/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jingkun Ma, Runzhe Zhan, Yang Li, et al.*2026 · 5 citations*
19. [**Intern-S1-Pro: Scientific Multimodal Foundation Model at Trillion Scale arXiv:2603.25040**Yicheng Zou, Dongsheng Zhu, Lin Zhu, et al.*2026 · 3 citations*](https://md.research.elamur.ai/free/en/papers/zou-2026-intern-s1-pro-scientific/)
20. **[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*
21. [**STEP3-VL-10B Technical Report arXiv:2601.09668**Ailin Huang, Chengyuan Yao, Chunrui Han, et al.*2026 · 2 citations*](https://md.research.elamur.ai/free/en/papers/huang-2026-step3-vl-10b-technical/)
22. **[A Survey of Deep Learning for Geometry Problem Solving](https://md.research.elamur.ai/free/en/papers/ma-2026-survey-deep-learning-geometry-problem/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jianzhe Ma, Wenxuan Wang, Qin Jin*2026 · 1 citation*
23. **[AraEval: An Arabic Multi-Task Evaluation Suite for Large Language Models](https://md.research.elamur.ai/free/en/papers/althnian-2025-araeval-arabic-multi-task-evaluation/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Alhanoof Althnian, Norah A. Alzahrani, Shaykhah Z. Alsubaie, et al.*2025 · 1 citation*
24. **[GeometryZero: Advancing Geometry Solving via Group Contrastive Policy Optimization](https://md.research.elamur.ai/free/en/papers/wang-2026-geometryzero-advancing-geometry-solving-group/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Yikun Wang, Yibin Wang, Dianyi Wang, et al.*2026*
25. **[Revisiting a Pain in the Neck: A Semantic Reasoning Benchmark for Language Models](https://md.research.elamur.ai/free/en/papers/liu-2026-revisiting-pain-neck-semantic-reasoning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Yang Liu, Hongming Li, Melissa Xiaohui Qin, et al.*2026*

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

- [← back to](https://md.research.elamur.ai/free/en/authors/yuri-chervonyi/) — Yuri Chervonyi
