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

1. Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language ModelsScience China Information SciencesQiguang Chen, Libo Qin, Jinhao Liu, et al.2025 · 176 citations
2. MathArena: Evaluating LLMs on Uncontaminated Math CompetitionsConference on Neural Information Processing Systems (NeurIPS)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-CorrectionarXiv:2508.03613Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 67 citations
4. Phi-4-reasoning Technical ReportarXiv:2504.21318Marah Abdin, Sahaj Agarwal, Ahmed Awadallah, et al.2025 · 64 citations
5. Seed-Prover: Deep and Broad Reasoning for Automated Theorem ProvingarXiv:2507.23726Luoxin Chen, Jinming Gu, Liankai Huang, et al.2025 · 46 citations
6. A Sober Look at Progress in Language Model Reasoning: Pitfalls and Paths to ReproducibilityarXiv:2504.07086Andreas Hochlehnert, Hardik Bhatnagar, Vishaal Udandarao, et al.2025 · 36 citations
7. DeepSeekMath-V2: Towards Self-Verifiable Mathematical ReasoningarXiv:2511.22570Zhihong Shao, Yuxiang Luo, Chengda Lu, et al.2025 · 33 citations
8. Hilbert: Recursively Building Formal Proofs with Informal ReasoningarXiv:2509.22819Sumanth Varambally, Thomas Voice, Yanchao Sun, et al.2025 · 26 citations
9. PHYBench: Holistic Evaluation of Physical Perception and Reasoning in Large Language ModelsConference on Neural Information Processing Systems (NeurIPS)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 ResearcharXiv:2505.11855Guijin Son, Jiwoo Hong, Honglu Fan, et al.2025 · 13 citations
11. The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical ProofsarXiv:2506.21621Jasper Dekoninck, Ivo Petrov, Kristian Minchev, et al.2025 · 11 citations
12. Reviving DSP for Advanced Theorem Proving in the Era of Reasoning ModelsConference on Neural Information Processing Systems (NeurIPS)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 ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Dadi Guo, Jiayu Liu, Zhiyuan Fan, et al.2026 · 5 citations
14. AlgBench: To What Extent Do Large Reasoning Models Understand Algorithms?Findings of the Association for Computational LinguisticsHenan Sun, Kaichi Yu, Yuyao Wang, et al.2026
15. Beyond Reasoning Gains: Mitigating General-Capability Forgetting in Large Reasoning ModelsFindings of the Association for Computational LinguisticsHoang Phan, Xianjun Yang, Yuanshun Yao, et al.2026
16. Reliable Use of Lemmas via Eligibility Reasoning and Section-Aware Reinforcement LearningAnnual Meeting of the Association for Computational Linguistics (ACL)Zhikun Xu, Xiaodong Yu, Ben Zhou, et al.2026
17. Student Guides Teacher: Weak-to-Strong Inference via Spectral Orthogonal ExplorationAnnual Meeting of the Association for Computational Linguistics (ACL)Dayu Wang, Jiaye Yang, Weikang Li, et al.2026

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

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