Graph Neural Networks For Mapping Variables Between Programs -- Extended Version

Pedro Orvalho, Jelle Piepenbrock, Mikoláš Janota +1

Automated program analysis is a pivotal research domain in many areas of Computer Science -- Formal Methods and Artificial Intelligence, in particular. Due to the undecidability of…