Guiding Word Equation Solving Using Graph Neural Networks - Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Cailler, Julie; Liang, Chencheng; Rümmer, Philipp