28 citations · 42 across the 14 of their papers we have counts for
1 paper · 2 filters
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…