Yeah, makes sense. Dynamic breadth first search has been a thing for a while; it seems like they're just introducing it with a new name. The automatic part seems cool though!
The idea is that it isn't limited to breadth first searches. It provides a way to write algorithms such that they are automatically differential in nature.
