Zhengyang Zhang
ZhengyangZhang
AI & ML interests
None yet
Recent Activity
updated a dataset 6 days ago
humanfia-lab/lean-eval-source published a dataset 7 days ago
humanfia-lab/lean-eval-source updated a collection 23 days ago
checkpointsOrganizations
Add IPhO 2021-2025 theory problems (by_problem)
1
#3 opened about 1 month ago
by 
menik1126