Comment by stokasto

Co-author of the paper here. That is a good high-level summary of the approach :).

Generating useful "simple"/"low-level" goals automatically indeed is an interesting avenue for pushing this further.