Proposing and solving olympiad geometry with guided tree search

Chi Zhang, Jiajun Song, Siyu Li +5

Mathematics olympiads are prestigious competitions, with problem proposing and solving highly honored. Building artificial intelligence that proposes and solves olympiads presents…