Search Results for author:
Found 1 papers, 0 papers with code
Using Graph Neural Networks for Program Termination
Instead of aiming for rigorous guarantees that can be interpreted by solvers, our objective is to provide an estimation of a program's termination behavior and of the likely reason for nontermination (when applicable) that a programmer can use for debugging purposes.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
