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