Guiding Word Equation Solving Using Graph Neural Networks.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rmmer

Browse the full ATVA paper archive.