Who cites Jasper Dekoninck
- Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic CapabilitiesarXiv:2507.06261Gheorghe Comanici, Eric Bieber, Mike Schaekermann, et al.2025 · 974 citations
- DeepSeek-V3.2: Pushing the Frontier of Open Large Language ModelsarXiv:2512.02556DeepSeek-AI, Aixin Liu, Aoxue Mei, et al.2025 · 341 citations
- 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
- DeepSeek-V4: Towards Highly Efficient Million-Token Context IntelligencearXiv:2606.19348DeepSeek-AI, Anyi Xu, Bangcai Lin, et al.2026 · 122 citations
- OpenThoughts: Data Recipes for Reasoning ModelsarXiv:2506.04178Etash Guha, Ryan Marten, Sedrick Keh, et al.2025 · 122 citations
- MathArena: Evaluating LLMs on Uncontaminated Math CompetitionsConference on Neural Information Processing Systems (NeurIPS)Mislav Balunović, Jasper Dekoninck, Ivo Petrov, et al.2025 · 99 citations
- 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
- Phi-4-reasoning Technical ReportarXiv:2504.21318Marah Abdin, Sahaj Agarwal, Ahmed Awadallah, et al.2025 · 64 citations
- Deep Think with ConfidencearXiv:2508.15260Yichao Fu, Xuewei Wang, Yuandong Tian, et al.2025 · 61 citations
- MiMo-V2-Flash Technical ReportarXiv:2601.02780Xiaomi LLM-Core Team; Bangjun Xiao; Bingquan Xia; Bo Yang; Bofei Gao; Bowen Shen; Chen Zhang; Chenhong He; Chiheng Lou; Fuli Luo; Gang Wang; Gang Xie; Hailin Zhang; Hanglong Lv; Hanyu Li; Heyu Chen; Hongshen Xu; Houbin Zhang; Huaqiu Liu; Jiangshan Duo; Jianyu Wei; Jiebao Xiao; Jinhao Dong; Jun Shi; Junhao Hu; Kainan Bao; Kang Zhou; Lei Li; Liang Zhao; Linghao Zhang; Peidian Li; Qianli Chen; Shaohui Liu; Shihua Yu; Shijie Cao; Shimao Chen; Shouqiu Yu; Shuo Liu; Tianling Zhou; Weijiang Su; Weikun Wang; Wenhan Ma; Xiangwei Deng; Bohan Mao; Bowen Ye; Can Cai; Chenghua Wang; Chengxuan Zhu; Chong Ma; Chun Chen; Chunan Li; Dawei Zhu; Deshan Xiao; Dong Zhang; Duo Zhang; Fangyue Liu; Feiyu Yang; Fengyuan Shi; Guoan Wang; Hao Tian; Hao Wu; Heng Qu; Hongfei Yi; Hongxu An; Hongyi Guan; Xing Zhang; Yifan Song; Yihan Yan; Yihao Zhao; Yingchun Lai; Yizhao Gao; Yu Cheng; Yuanyuan Tian; Yudong Wang; Zhen Tang; Zhengju Tang; Zhengtao Wen; Zhichao Song; Zhixian Zheng; Zihan Jiang; Jian Wen; Jiarui Sun; Jiawei Li; Jinlong Xue; Jun Xia; Kai Fang; Menghang Zhu; Nuo Chen; Qian Tu; Qihao Zhang; Qiying Wang; Rang Li; Rui Ma; Shaolei Zhang; Shengfan Wang; Shicheng Li; Shuhao Gu; Shuhuai Ren; Sirui Deng; Tao Guo; Tianyang Lu; Weiji Zhuang; Weikang Zhang; Weimin Xiong; Wenshan Huang; Wenyu Yang; Xin Zhang; Xing Yong; Xu Wang; Xueyang Xie; Yilin Jiang; Yixin Yang; Yongzhe He; Yu Tu; Yuanliang Dong; Yuchen Liu; Yue Ma; Yue Yu; Yuxing Xiang; Zhaojun Huang; Zhenru Lin; Zhipeng Xu; Zhiyang Chen; Zhonghua Deng; Zihan Zhang;, Zihao Yue2026 · 60 citations
- DeepSeekMath-V2: Towards Self-Verifiable Mathematical ReasoningarXiv:2511.22570Zhihong Shao, Yuxiang Luo, Chengda Lu, et al.2025 · 33 citations
- Qwen3.5-Omni Technical ReportarXiv:2604.15804Qwen Team2026 · 29 citations
- AceReason-Nemotron 1.1: Advancing Math and Code Reasoning through SFT and RL SynergyarXiv:2506.13284Zihan Liu, Zhuolin Yang, Yang Chen, et al.2025 · 21 citations
- Qwen3-Coder-Next Technical ReportarXiv:2603.00729Ruisheng Cao, Mouxiang Chen, Jiawei Chen, et al.2026 · 15 citations
- 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
- rStar2-Agent: Agentic Reasoning Technical ReportarXiv:2508.20722Ning Shang, Yifei Liu, Yi Zhu, et al.2025 · 6 citations
- 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
- 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
- Barriers to Discrete Reasoning with Transformers: A Survey Across Depth, Exactness, and BandwidthConference of the European Chapter of the Association for Computational Linguistics (EACL)Michelle Yuan, Weiyi Sun, Amir H. Rezaeian, et al.2026 · 3 citations
- How Quantization Shapes Bias in Large Language ModelsConference of the European Chapter of the Association for Computational Linguistics (EACL)Federico Marcuzzi, Xuefei Ning, Roy Schwartz, et al.2026 · 3 citations
- OjaKV: Context-Aware Online Low-Rank KV Cache CompressionFindings of the Association for Computational LinguisticsYuxuan Zhu, David H. Yang, Mohammad Mohammadi Amiri, et al.2026 · 2 citations
- ARISE: An Adaptive Resolution-Aware Metric for Test-Time Scaling Evaluation in Large Reasoning ModelsFindings of the Association for Computational LinguisticsZhangyue Yin, Qiushi Sun, Zhiyuan Zeng, et al.2026 · 1 citation
- GIL-Zaragoza at SemEval 2026 Task 11: Comparing Classification, Autoformalization, and Ontologies for Formal Reasoning CapabilitiesInternational Workshop on Semantic Evaluation (SemEval)Francisco Lopez-Ponce, Lucia Pitarch, Iván Saavedra Martínez, et al.2026 · 1 citation
- HqeKV: Towards Hybrid Quantization and Eviction for KV Cache in Long-Context LLM InferenceFindings of the Association for Computational LinguisticsHe Wang, Yu Gu, Fangfang Li, et al.2026 · 1 citation
- Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem SolvingarXiv:2512.10739Yuzhe Gu, Songyang Gao, Zijian Wu, et al.2025 · 1 citation
- 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
- 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
- Chronos: Learning Temporal Dynamics of Reasoning Chains for Test-Time ScalingFindings of the Association for Computational LinguisticsKai Zhang, Jiayi Liao, Chengpeng Li, et al.2026
- Consistency of LLMs to Comparative Statements in Mathematical Reasoning TasksLanguage Resources and Evaluation Conference (LREC)Aidan W. San, Daniel Juyoung Son, Xiaodong Liu, et al.2026
- Reflection in the Dark: Exposing and Escaping the Black Box in Reflective Prompt OptimizationAnnual Meeting of the Association for Computational Linguistics (ACL)Shiyan Liu, Qifeng Xia, Qiyun Xia, et al.2026
- 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
- 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
- Self-Reflective Generation at Test TimeAnnual Meeting of the Association for Computational Linguistics (ACL)Jian Mu, Qixin Zhang, Zhiyong Wang, et al.2026
- 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
- Thermometer of Thoughts: Enhancing LLM's Exploration via Attention Temperature ModulationAnnual Meeting of the Association for Computational Linguistics (ACL)Zhiyuan Yu, Shijian Xiao, Cam-Tu Nguyen, et al.2026
This page in Markdown → https://md.research.elamur.ai/free/en/authors/jasper-dekoninck/cited-by/