GeoModelBuilder

The Geometry Model Builder (GMB) is a tool for generating olympiad-level geometry diagrams. The GMB takes Geometry Model-Building Language programs as input. For an overview of the GMBL, please refer to our arXiv paper (or the slightly shorter version published in the CADE 28 proceedings) or run this program as a local web server and read the tutorial.

Example:

Quick Start

The GMB can be run either as a locally-hosted web server or a command line tool.

Web Server

Requred once: cd geo-model-builder && pip3 install -r requirements.txt

Required for each terminal session: cd src/ && FLASK_APP=server.py

To run server: flask run

Command Line Tool

cd geo-model-builder/src && python3 builder_cli.py --problem INPUT_FILE

Parameters

The command line version accepts the following parameteters...

problem: Input GMBL file (required)
n_models: The number of diagrams to generate for the GMBL file (maximum of 10).
n_tries: The maximum number of tries to generate n_models. For example, if n_models = 2 and n_tries = 2 but GMB fails once, only 1 diagram will be returned.
n_inits: The number of initializations to sample
min_dist: The minimum distance between points
plot_freq: The frequency (in number of steps) of plotting the current model during optimization
losses_freq: The frequency (in number of steps) of printing a summary of loss values
loss_freq: The frequency (in number of steps) of printing the cumulative loss value
verbosity: A coarser-grained control of plotting and loss printing

...as well as the following parameters for Tensorflow optimization:

learning_rate: Initial learning rate
decay_rate: Decay rate
eps: Epsilon value for stopping criteria
n_iterations: Maximum number of iterations for gradient descent

error when there's multiple polygons

Hi thanks for the very useful tool and general language!

I was trying for examples like the following that includes multiple polygons.

['( param ( A B C D ) polygon )', '( assert ( cong A B B C ) )', '( assert ( cong B
 C C D ) )', '( assert ( cong C D D A ) )', '( assert ( cong A C B D ) )', '( asser
t ( perp ( line A B ) ( line B C ) ) )', '( assert ( perp ( line A D ) ( line D C )
 ) )', '( assert ( perp ( line A C ) ( line B D ) ) )', '( assert ( para ( line A D
 ) ( line B C ) ) )', '( assert ( para ( line A B ) ( line C D ) ) )', '( param ( E
 F G H ) polygon )', '( assert ( cong H F E G ) )']

And I got errors assuming the polygons are the same when they are in fact not:

INPUT INSTRUCTIONS:                                                                
sample (A B C D) polygon ()                                                        
assert (cong A B B C)                                                              
assert (cong B C C D)                                                              
assert (cong C D D A)                                                              
assert (cong A C B D)                                                              
assert (perp (connecting A B) (connecting B C))                                    
assert (perp (connecting A D) (connecting D C))                                    
assert (perp (connecting A C) (connecting B D))                                    
assert (para (connecting A D) (connecting B C))                                    
assert (para (connecting A B) (connecting C D))                                    
sample (E F G H) polygon ()                                                        
assert (cong H F E G)                                                              
Processing instructions...:  83%|███████████████   | 10/12 [00:00<00:00, 26.06it/s]

the most relevant traceback:

tf_prefix=outp, encode_fig=encode_fig, plot_path=az_path2img)
           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/Users/shengli/code/shengli/geo-model-builder/src/gbml_verifier.py", line 7
9, in build_aux
    solver.preprocess()
  File "/Users/shengli/code/shengli/geo-model-builder/src/optimizer.py", line 72, i
n preprocess
    self.process_instruction(i)
  File "/Users/shengli/code/shengli/geo-model-builder/src/optimizer.py", line 83, i
n process_instruction
    self.sample(i)
  File "/Users/shengli/code/shengli/geo-model-builder/src/optimizer.py", line 373, 
in sample
    elif s_method == "polygon": self.sample_polygon(i.points)
                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/Users/shengli/code/shengli/geo-model-builder/src/optimizer.py", line 390, 
in sample_polygon
    angle_zs = [self.mkvar(name=f"polygon_angle_zs_{i}", lo=-2.0, hi=2.0) for i in 
range(len(ps))]
               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
^^^^^^^^^^^^^^^
  File "/Users/shengli/code/shengli/geo-model-builder/src/optimizer.py", line 390, 
in <listcomp>
    angle_zs = [self.mkvar(name=f"polygon_angle_zs_{i}", lo=-2.0, hi=2.0) for i in 
range(len(ps))]
                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/Users/shengli/code/shengli/geo-model-builder/src/tf_optimizer.py", line 48
, in mkvar
    return tf.compat.v1.get_variable(name=name, shape=shape, dtype=tf.float64, init
ializer=init, trainable=trainable)
           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/Users/shengli/.pyenv/versions/3.11.5/lib/python3.11/site-packages/tensorfl
ow/python/ops/variable_scope.py", line 1617, in get_variable
    return get_variable_scope().get_variable(
           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/Users/shengli/.pyenv/versions/3.11.5/lib/python3.11/site-packages/tensorfl
ow/python/ops/variable_scope.py", line 1327, in get_variable
    return var_store.get_variable(
           ^^^^^^^^^^^^^^^^^^^^^^^
  File "/Users/shengli/.pyenv/versions/3.11.5/lib/python3.11/site-packages/tensorfl
ow/python/ops/variable_scope.py", line 583, in get_variable
    return _true_getter(
           ^^^^^^^^^^^^^
  File "/Users/shengli/.pyenv/versions/3.11.5/lib/python3.11/site-packages/tensorfl
ow/python/ops/variable_scope.py", line 536, in _true_getter
    return self._get_single_variable(
           ^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/Users/shengli/.pyenv/versions/3.11.5/lib/python3.11/site-packages/tensorfl
ow/python/ops/variable_scope.py", line 899, in _get_single_variable
    raise ValueError("%s Originally defined at:\n\n%s" %
ValueError: Variable polygon_angle_zs_0 already exists, disallowed. Did you mean to
 set reuse=True or reuse=tf.AUTO_REUSE in VarScope? Originally defined at:

  File "/Users/shengli/code/shengli/geo-model-builder/src/tf_optimizer.py", line 48
, in mkvar
    return tf.compat.v1.get_variable(name=name, shape=shape, dtype=tf.float64, init
ializer=init, trainable=trainable)
  File "/Users/shengli/code/shengli/geo-model-builder/src/optimizer.py", line 390, 
in <listcomp>
    angle_zs = [self.mkvar(name=f"polygon_angle_zs_{i}", lo=-2.0, hi=2.0) for i in 
range(len(ps))]
  File "/Users/shengli/code/shengli/geo-model-builder/src/optimizer.py", line 390, 
in sample_polygon
    angle_zs = [self.mkvar(name=f"polygon_angle_zs_{i}", lo=-2.0, hi=2.0) for i in 
range(len(ps))]
  File "/Users/shengli/code/shengli/geo-model-builder/src/optimizer.py", line 373, 
in sample
    elif s_method == "polygon": self.sample_polygon(i.points)
  File "/Users/shengli/code/shengli/geo-model-builder/src/optimizer.py", line 83, i
n process_instruction
    self.sample(i)

does anyone know how to resolve this issue?
thanks a bunch!

rkruegs123 / geo-model-builder Goto Github PK