Guiding an Instantiation Prover with Graph Neural Networks.

Karel Chvalovsk, Konstantin Korovin, Jelle Piepenbrock, Josef Urban

Browse the full LPAR paper archive.