Yifan Zhu
schordingerzhu
AI & ML interests
None yet
Recent Activity
updated a dataset 4 days ago
schordingerzhu/lean-mathlib-hashmap published a dataset 4 days ago
schordingerzhu/lean-mathlib-hashmap updated a dataset 5 days ago
schordingerzhu/lean-cedar-hashtableOrganizations
None yet