ZihaoZhou's picture

1 8 2

ZihaoZhou

ZihaoZhou

·

https://zhouzihao501.github.io/

AI & ML interests

None yet

Recent Activity

upvoted a paper 1 day ago

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

submitted a paper 1 day 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

submitted a paper to Daily Papers 1 day ago

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

Paper • 2601.14027 • Published 3 days ago • 9

authored a paper over 1 year ago

Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist

Paper • 2407.08733 • Published Jul 11, 2024 • 23