Hugging Face's logo
Runzhe Zhan's picture

Runzhe Zhan

rzzhan
10 27 3
SuperJH888's profile picture yizhuoli's profile picture akansal's profile picture
·
https://runzhe.me/

AI & ML interests

None yet

Recent Activity

upvoted a paper about 9 hours ago
MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling
upvoted a paper 21 days ago
ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics
upvoted a paper about 1 month ago
π-Bench: Evaluating Proactive Personal Assistant Agents in Long-Horizon Workflows
View all activity

Organizations

Simplified Reasoning's profile picture HLBench's profile picture