Hugging Face's logo
Haoran Zhang's picture
6 22 4

Haoran Zhang

zzzhr97
Spico's profile picture bingyang-lei's profile picture MindscapeRAG's profile picture
·

AI & ML interests

Lange Language Models, Large Reasoning Models

Recent Activity

authored a paper about 8 hours ago
Characterizing, Evaluating, and Optimizing Complex Reasoning
authored a paper about 8 hours ago
ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics
submitted a paper about 14 hours ago
ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics
View all activity

Organizations

Shanghai Jiao Tong University's profile picture Simplified Reasoning's profile picture