Hugging Face's logo
ZihaoZhou's picture
1 8 2

ZihaoZhou

ZihaoZhou
Sudanl's profile picture hanquansanren's profile picture
ยท
https://zhouzihao501.github.io/

AI & ML interests

None yet

Recent Activity

upvoted a paper about 13 hours ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
submitted a paper about 14 hours ago
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
updated a dataset 2 months ago
F1-Reasoner/Syn-Mix
View all activity

Organizations

PremiLab-Math's profile picture F1-Reasoner's profile picture