TY  - RPRT
TI  - ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics
AU  - Shunkai Zhang
AU  - Haoran Zhang
AU  - Yun Luo
AU  - Qianjia Cheng
AU  - Haodi Lei
AU  - Yizhuo Li
AU  - Runzhe Zhan
AU  - Zhilin Wang
AU  - Bangjie Xu
AU  - Yucheng Su
AU  - Xinmiao Han
AU  - Xiaoye Qu
AU  - Dongrui Liu
AU  - Zhouchen Lin
AU  - Yu Qiao
AU  - Ning Ding
AU  - Yafu Li
AU  - Yu Cheng
PY  - 2026
UR  - https://arxiv.org/abs/2606.10479
ID  - 2606.10479
ER  -