郑静怡
logan-johnson59
AI & ML interests
None yet
Recent Activity
liked a dataset about 1 hour ago
safwatkhokha/nawaqes-backup liked a dataset 4 days ago
kipasyangin5/arxiv-softwares-2021 upvoted a paper 5 days ago
TheoremGraph: Bridging Formal and Informal MathematicsOrganizations
None yet