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