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.
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.