Zhengyang Zhang

ZhengyangZhang

1

·

AI & ML interests

None yet

Recent Activity

updated a dataset 3 days ago

humanfia-lab/putnambench-solution

updated a dataset 13 days ago

humanfia-lab/lean-eval-source

published a dataset 23 days ago

humanfia-lab/lean-eval-source

View all activity

Organizations

ZhengyangZhang 's datasets 1

ZhengyangZhang/Humanize-Putnam

Updated Jun 23 • 3