--- title: "Who cites Kristian Minchev — 36 papers of our library" description: "36 papers of the Elamur Research library cite the works of Kristian Minchev, found in their bibliographies; the most cited first." canonical: "https://research.elamur.ai/free/en/authors/kristian-minchev/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/kristian-minchev/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Kristian Minchev](https://md.research.elamur.ai/free/en/authors/kristian-minchev/) / cited by # Who cites Kristian Minchev 40 citations of their works from 36 papers of our library (of the 149,439 whose bibliographies we read) · 17 with a page here, the most cited first · [← Kristian Minchev](https://md.research.elamur.ai/free/en/authors/kristian-minchev/) 1. **[Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Models](https://md.research.elamur.ai/free/en/papers/chen-2025-towards-reasoning-era-survey-long/) [Science China Information Sciences](https://md.research.elamur.ai/free/en/venues/science-china-information-sciences/)**Qiguang Chen, Libo Qin, Jinhao Liu, et al.*2025 · 176 citations* 2. **[MathArena: Evaluating LLMs on Uncontaminated Math Competitions](https://md.research.elamur.ai/free/en/papers/balunovic-2025-matharena-evaluating-llms-uncontaminated-math/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Mislav Balunović, Jasper Dekoninck, Ivo Petrov, et al.*2025 · 99 citations* 3. [**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/) 4. [**Phi-4-reasoning Technical Report arXiv:2504.21318**Marah Abdin, Sahaj Agarwal, Ahmed Awadallah, et al.*2025 · 64 citations*](https://md.research.elamur.ai/free/en/papers/abdin-2025-phi-4-reasoning-technical-report/) 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. [**A Sober Look at Progress in Language Model Reasoning: Pitfalls and Paths to Reproducibility arXiv:2504.07086**Andreas Hochlehnert, Hardik Bhatnagar, Vishaal Udandarao, et al.*2025 · 36 citations*](https://md.research.elamur.ai/free/en/papers/hochlehnert-2025-sober-look-progress-language-model/) 7. [**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/) 8. [**Hilbert: Recursively Building Formal Proofs with Informal Reasoning arXiv:2509.22819**Sumanth Varambally, Thomas Voice, Yanchao Sun, et al.*2025 · 26 citations*](https://md.research.elamur.ai/free/en/papers/varambally-2025-hilbert-recursively-building-formal-proofs/) 9. **[PHYBench: Holistic Evaluation of Physical Perception and Reasoning in Large Language Models](https://md.research.elamur.ai/free/en/papers/qiu-2025-phybench-holistic-evaluation-physical-perception/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Shi Qiu, Shaoyang Guo, Zhuo-Yang Song, et al.*2025 · 21 citations* 10. [**When AI Co-Scientists Fail: SPOT-a Benchmark for Automated Verification of Scientific Research arXiv:2505.11855**Guijin Son, Jiwoo Hong, Honglu Fan, et al.*2025 · 13 citations*](https://md.research.elamur.ai/free/en/papers/son-2025-ai-co-scientists-fail/) 11. [**The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs arXiv:2506.21621**Jasper Dekoninck, Ivo Petrov, Kristian Minchev, et al.*2025 · 11 citations*](https://md.research.elamur.ai/free/en/papers/dekoninck-2025-open-proof-corpus-large-scale/) 12. **[Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models](https://md.research.elamur.ai/free/en/papers/cao-2025-reviving-dsp-advanced-theorem-proving/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Chenrui Cao, Liangcheng Song, Zenan Li, et al.*2025 · 7 citations* 13. **[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* 14. **[AlgBench: To What Extent Do Large Reasoning Models Understand Algorithms?](https://md.research.elamur.ai/free/en/papers/sun-2026-algbench-what-extent-do-large/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Henan Sun, Kaichi Yu, Yuyao Wang, et al.*2026* 15. **[Beyond Reasoning Gains: Mitigating General-Capability Forgetting in Large Reasoning Models](https://md.research.elamur.ai/free/en/papers/phan-2026-beyond-reasoning-gains-mitigating-general/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Hoang Phan, Xianjun Yang, Yuanshun Yao, et al.*2026* 16. **[Reliable Use of Lemmas via Eligibility Reasoning and Section-Aware Reinforcement Learning](https://md.research.elamur.ai/free/en/papers/xu-2026-reliable-use-lemmas-eligibility-reasoning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Zhikun Xu, Xiaodong Yu, Ben Zhou, et al.*2026* 17. **[Student Guides Teacher: Weak-to-Strong Inference via Spectral Orthogonal Exploration](https://md.research.elamur.ai/free/en/papers/wang-2026-student-guides-teacher-weak-strong/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Dayu Wang, Jiaye Yang, Weikang Li, et al.*2026* 19 more citing papers of our library have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/authors/kristian-minchev/) — Kristian Minchev