Zhengyang Zhang

ZhengyangZhang

1

·

AI & ML interests

None yet

Recent Activity

published a dataset 7 days ago

parallel-reasoner/parason

updated a dataset 29 days ago

humanfia-lab/putnambench-solution

updated a dataset about 1 month ago

humanfia-lab/lean-eval-source

View all activity

Organizations

ZhengyangZhang 's datasets 1

ZhengyangZhang/Humanize-Putnam

Updated Jun 23 • 6