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