arxiv:2606.10479
Haoran Zhang
zzzhr97
AI & ML interests
Lange Language Models, Large Reasoning Models
Recent Activity
authored a paper 1 day ago
Characterizing, Evaluating, and Optimizing Complex Reasoning submitted a paper 1 day ago
ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics