Guiding an Instantiation Prover with Graph Neural NetworksOpen Website

Karel Chvalovský, Konstantin Korovin, Jelle Piepenbrock, Josef Urban

Published: 01 Jan 2023, Last Modified: 28 Sept 2023LPAR 2023Readers: Everyone
0 Replies