Using Graph Neural Networks for Program Termination

Open in new window