🧑‍🔬 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

1. DeepSeek-V3.2: Pushing the Frontier of Open Large Language ModelsarXiv:2512.02556DeepSeek-AI, Aixin Liu, Aoxue Mei, et al.2025 · 341 citations
2. DeepSeek-V4: Towards Highly Efficient Million-Token Context IntelligencearXiv:2606.19348DeepSeek-AI, Anyi Xu, Bangcai Lin, et al.2026 · 122 citations
3. GLM-5: from Vibe Coding to Agentic EngineeringarXiv:2602.15763Aohan Zeng, Xin Lv, Zhenyu Hou, et al.2026 · 95 citations
4. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-CorrectionarXiv:2508.03613Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 67 citations
5. Kimi K2.5: Visual Agentic IntelligencearXiv:2602.02276Kimi Team, Tongtong Bai, Yifan Bai, et al.2026 · 66 citations
6. Seed-Prover: Deep and Broad Reasoning for Automated Theorem ProvingarXiv:2507.23726Luoxin Chen, Jinming Gu, Liankai Huang, et al.2025 · 46 citations
7. Towards Robust Mathematical ReasoningConference on Empirical Methods in Natural Language Processing (EMNLP)Thang Luong, Dawsen Hwang, Hoang H Nguyen, et al.2025 · 40 citations
8. DeepSeekMath-V2: Towards Self-Verifiable Mathematical ReasoningarXiv:2511.22570Zhihong Shao, Yuxiang Luo, Chengda Lu, et al.2025 · 33 citations
9. Qwen3.5-Omni Technical ReportarXiv:2604.15804Qwen Team2026 · 29 citations
10. Aristotle: IMO-level Automated Theorem ProvingSuperIntelligence - Robotics - Safety & AlignmentTudor Achim, Alex Best, Alberto Bietti, et al.2025 · 29 citations
11. From Problem-Solving to Teaching Problem-Solving: Aligning LLMs with Pedagogy using Reinforcement LearningConference on Empirical Methods in Natural Language Processing (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 DistillationarXiv:2603.19220Zhuolin Yang, Zihan Liu, Yang Chen, et al.2026 · 16 citations
13. 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
14. AlphaGo Moment for Model Architecture DiscoveryarXiv:2507.18074Yixiu Liu, Yang Nan, Weixian Xu, et al.2025 · 8 citations
15. Automated Conjecture Resolution with Formal VerificationSuperIntelligence - Robotics - Safety & AlignmentHaocheng Ju, Guoxiong Gao, Jiedong Jiang, et al.2026 · 5 citations
16. Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Dadi Guo, Jiayu Liu, Zhiyuan Fan, et al.2026 · 5 citations
17. PaCoRe: Learning to Scale Test-Time Compute with Parallel Coordinated ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Jingcheng Hu, Yinmin Zhang, Shijie Shang, et al.2026 · 5 citations
18. VisAidMath: Benchmarking Visual-Aided Mathematical ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Jingkun Ma, Runzhe Zhan, Yang Li, et al.2026 · 5 citations
19. Intern-S1-Pro: Scientific Multimodal Foundation Model at Trillion ScalearXiv:2603.25040Yicheng Zou, Dongsheng Zhu, Lin Zhu, et al.2026 · 3 citations
20. Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier MathAnnual Meeting of the Association for Computational Linguistics (ACL)Shrey Pandit, Austin Xu, Xuan-Phi Nguyen, et al.2026 · 2 citations
21. STEP3-VL-10B Technical ReportarXiv:2601.09668Ailin Huang, Chengyuan Yao, Chunrui Han, et al.2026 · 2 citations
22. A Survey of Deep Learning for Geometry Problem SolvingAnnual Meeting of the Association for Computational Linguistics (ACL)Jianzhe Ma, Wenxuan Wang, Qin Jin2026 · 1 citation
23. AraEval: An Arabic Multi-Task Evaluation Suite for Large Language ModelsConference on Empirical Methods in Natural Language Processing (EMNLP)Alhanoof Althnian, Norah A. Alzahrani, Shaykhah Z. Alsubaie, et al.2025 · 1 citation
24. GeometryZero: Advancing Geometry Solving via Group Contrastive Policy OptimizationFindings of the Association for Computational LinguisticsYikun Wang, Yibin Wang, Dianyi Wang, et al.2026
25. Revisiting a Pain in the Neck: A Semantic Reasoning Benchmark for Language ModelsAnnual Meeting of the Association for Computational Linguistics (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 top

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