arxiv:2606.10479
Shunkai Zhang
PKUShunkai
AI & ML interests
None yet
Recent Activity
authored a paper about 12 hours ago
ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics upvoted a paper about 18 hours ago
ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics liked a model 15 days ago
Simplified-Reasoning/SU-01Organizations
None yet