Zhengyang Zhang

ZhengyangZhang

1

·

AI & ML interests

None yet

Recent Activity

published a dataset 20 days ago

parallel-reasoner/parason

updated a dataset about 1 month ago

humanfia-lab/putnambench-solution

updated a dataset about 2 months ago

humanfia-lab/lean-eval-source

View all activity

Organizations

New activity in humanfia-lab/ipho-lean 3 months ago

Add IPhO 2021-2025 theory problems (by_problem)

#3 opened 3 months ago by