Automatically Building Diagrams for Olympiad Geometry Problems

Ryan Krueger, Jesse Michael Han, Daniel Selsam

We present a method for automatically building diagrams for olympiad-level geometry problems and implement our approach in a new open-source software tool, the Geometry Model Build…