ZihaoZhou

ZihaoZhou's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper 3 days ago

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

Paper • 2601.14027 • Published 5 days ago • 11

submitted a paper to Daily Papers 3 days ago

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

Paper • 2601.14027 • Published 5 days ago • 11

updated a dataset 2 months ago

F1-Reasoner/Syn-Mix

Viewer • Updated Nov 19, 2025 • 45.2k • 1

published a dataset 2 months ago

F1-Reasoner/Syn-Mix

Viewer • Updated Nov 19, 2025 • 45.2k • 1

updated a dataset 2 months ago

F1-Reasoner/SynLogic

Viewer • Updated Nov 19, 2025 • 36.3k • 5

published a dataset 2 months ago

F1-Reasoner/SynLogic

Viewer • Updated Nov 19, 2025 • 36.3k • 5

updated a dataset 2 months ago

F1-Reasoner/F1-Training-Plus

Viewer • Updated Nov 19, 2025 • 25.4k • 1

published a dataset 2 months ago

F1-Reasoner/F1-Training-Plus

Viewer • Updated Nov 19, 2025 • 25.4k • 1

liked a Space 3 months ago

Running on Zero

6

DvD

😻

6

Correctly warp and straighten document images

updated a dataset 4 months ago

F1-Reasoner/F1_NoCheck_Mix

Viewer • Updated Sep 22, 2025 • 28k • 5

published a dataset 4 months ago

F1-Reasoner/F1_NoCheck_Mix

Viewer • Updated Sep 22, 2025 • 28k • 5

updated a dataset 4 months ago

F1-Reasoner/F1_Training_noCheck

Viewer • Updated Sep 15, 2025 • 28k • 6

published a dataset 4 months ago

F1-Reasoner/F1_Training_noCheck

Viewer • Updated Sep 15, 2025 • 28k • 6

updated a dataset 4 months ago

F1-Reasoner/F1_Training_15000

Viewer • Updated Sep 14, 2025 • 14.4k • 1

published a dataset 4 months ago

F1-Reasoner/F1_Training_15000

Viewer • Updated Sep 14, 2025 • 14.4k • 1

updated a dataset 4 months ago

F1-Reasoner/F1_Training_10000

Viewer • Updated Sep 14, 2025 • 9.59k • 33

published a dataset 4 months ago

F1-Reasoner/F1_Training_10000

Viewer • Updated Sep 14, 2025 • 9.59k • 33

updated a dataset 4 months ago

F1-Reasoner/F1_Training_5000

Viewer • Updated Sep 14, 2025 • 4.81k • 12

published a dataset 4 months ago

F1-Reasoner/F1_Training_5000

Viewer • Updated Sep 14, 2025 • 4.81k • 12

updated a dataset 5 months ago

F1-Reasoner/MATH_Training

Viewer • Updated Sep 11, 2025 • 8.92k