28 citations · 41 across the 9 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…