152 citations · 204 across the 8 of their papers we have counts for
1 paper · 1 filter
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…