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 22 days ago
Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions
MasterVito  updated a dataset 24 days ago
HAGeo-IMO/HAGeo-409
MasterVito  published a dataset 29 days ago
HAGeo-IMO/HAGeo-409
View all activity

HAGeo-IMO 's models

None public yet