---
title: "Who cites CombiBench: Benchmarking LLM — 20 citing papers"
description: "20 papers of the Elamur Research library cite «CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics», found in their…"
canonical: "https://research.elamur.ai/free/en/papers/liu-2025-combibench-benchmarking-llm-capability-combinatorial/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/liu-2025-combibench-benchmarking-llm-capability-combinatorial/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [CombiBench: Benchmarking LLM Capability for…](https://md.research.elamur.ai/free/en/papers/liu-2025-combibench-benchmarking-llm-capability-combinatorial/) / cited by

# Who cites «CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics»

20 papers of our library cite it (of the 149,439 whose bibliographies we read) · 8 with a page here, the most cited first · [← back to «CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics»](https://md.research.elamur.ai/free/en/papers/liu-2025-combibench-benchmarking-llm-capability-combinatorial/)

1. [**DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition arXiv:2504.21801**Z. Z. Ren, Zhihong Shao, Junxiao Song, et al.*2025 · 122 citations*](https://md.research.elamur.ai/free/en/papers/ren-2025-deepseek-prover-v2-advancing-formal/)
2. [**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/)
3. [**Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience arXiv:2512.17260**Jiangjie Chen, Wenxiang Chen, Jiacheng Du, et al.*2025 · 19 citations*](https://md.research.elamur.ai/free/en/papers/chen-2025-seed-prover-1-5/)
4. [**Solving Formal Math Problems by Decomposition and Iterative Reflection arXiv:2507.15225**Yichi Zhou, Jianqiu Zhao, Yongxin Zhang, et al.*2025 · 16 citations*](https://md.research.elamur.ai/free/en/papers/zhou-2025-solving-formal-math-problems-decomposition/)
5. [**Autoformalization in the Era of Large Language Models: A Survey arXiv:2505.23486**Ke Weng, Lun Du, Sirui Li, et al.*2025 · 11 citations*](https://md.research.elamur.ai/free/en/papers/weng-2025-autoformalization-era-large-language-models/)
6. [**StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion arXiv:2508.04440**Yutong Wu, Di Huang, Ruosi Wan, et al.*2025 · 7 citations*](https://md.research.elamur.ai/free/en/papers/wu-2025-stepfun-formalizer-unlocking-autoformalization/)
7. [**Autoformalizer with Tool Feedback arXiv:2510.06857**Qi Guo; Jianing Wang; Jianfei Zhang; Deyang Kong; Xiangzhou Huang; Xiangyu Xi; Wei Wang; Jingang Wang; Xunliang Cai; Shikun Zhang;, Wei Ye*2025 · 6 citations*](https://md.research.elamur.ai/free/en/papers/guo-2025-autoformalizer-tool-feedback/)
8. **[PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data](https://md.research.elamur.ai/free/en/papers/xiong-2026-puzzleclone-dsl-powered-framework-synthesizing/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Kai Xiong, Yanwei Huang, Rongjunchen Zhang, et al.*2026*

12 more papers of our library cite it; they have no page here yet.

- [← back to](https://md.research.elamur.ai/free/en/papers/liu-2025-combibench-benchmarking-llm-capability-combinatorial/) — CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics