Automatically Building Diagrams for Olympiad Geometry Problems.

Ryan Krueger, Jesse Michael Han, Daniel Selsam

Browse the full CADE paper archive.