DeepAI AI Chat
Log In Sign Up

Automatically Building Diagrams for Olympiad Geometry Problems

by   Ryan Krueger, et al.

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 Builder (GMB). Central to our method is a new domain-specific language, the Geometry Model-Building Language (GMBL), for specifying geometry problems along with additional metadata useful for building diagrams. A GMBL program specifies (1) how to parameterize geometric objects (or sets of geometric objects) and initialize these parameterized quantities, (2) which quantities to compute directly from other quantities, and (3) additional constraints to accumulate into a (differentiable) loss function. A GMBL program induces a (usually) tractable numerical optimization problem whose solutions correspond to diagrams of the original problem statement, and that we can solve reliably using gradient descent. Of the 39 geometry problems since 2000 appearing in the International Mathematical Olympiad, 36 can be expressed in our logic and our system can produce diagrams for 94 the best of our knowledge, our method is the first in automated geometry diagram construction to generate models for such complex problems.


page 1

page 2

page 3

page 4


A Theory of Spherical Diagrams

We introduce the axiomatic theory of Spherical Occlusion Diagrams as a t...

Tropical diagrams of probability spaces

After endowing the space of diagrams of probability spaces with an entro...

Geometry of Interaction for ZX-Diagrams

ZX-Calculus is a versatile graphical language for quantum computation eq...

A Categorical Framework for Modeling with Stock and Flow Diagrams

Stock and flow diagrams are already an important tool in epidemiology, b...

Light in Power: A General and Parameter-free Algorithm for Caustic Design

We present in this paper a generic and parameter-free algorithm to effic...

Automated Generation of Geometric Theorems from Images of Diagrams

We propose an approach to generate geometric theorems from electronic im...

Symbolic Comparison of Geometric Quantities in GeoGebra

Comparison of geometric quantities usually means obtaining generally tru...