ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics
Paper • 2606.10479 • Published • 20
Shunkai Zhang
PKUShunkai
AI & ML interests
None yet
Recent Activity
authored a paper about 1 month ago
ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics upvoted a paper about 1 month ago
ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics liked a model about 2 months ago
Simplified-Reasoning/SU-01Organizations
None yet
authored a
paper about 1 month ago
upvoted a paper about 1 month ago
liked a
model about 2 months ago
upvoted 3
papers about 2 months ago
π-Bench: Evaluating Proactive Personal Assistant Agents in Long-Horizon Workflows
Paper • 2605.14678 • Published • 108
Achieving Gold-Medal-Level Olympiad Reasoning via Simple and Unified Scaling
Paper • 2605.13301 • Published • 166
Teaching Thinking Models to Reason with Tools: A Full-Pipeline Recipe for Tool-Integrated Reasoning
Paper • 2605.06326 • Published • 26