Hugging Face's logo

HAGeo
community
https://github.com/boduan1/HAGeo
MasterVito
Activity Feed

AI & ML interests

None defined yet.

Recent Activity

MasterVito  authored a paper about 1 month ago
Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions
MasterVito  updated a dataset about 1 month ago
HAGeo-IMO/HAGeo-409
MasterVito  published a dataset about 1 month ago
HAGeo-IMO/HAGeo-409
View all activity

HAGeo-IMO 's datasets 1