In 2017/18 Eva Bültel (Hamburg University supervised by quattro research) wrote her masters thesis (note: written in German) on HELM searching.
The tools created have now been open sourced and are available to the public.
A presentation on the approach is below.
Code
The source code is available on GitHub and includes a limited GUI.
Compiled code is available at
Documentation is available in the GitHub repository