arxiv:2605.14678
Haoran Zhang
zzzhr97
AI & ML interests
Lange Language Models, Large Reasoning Models
Recent Activity
submitted a paper 38 minutes ago
ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics upvoted a paper about 22 hours ago
ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics