no code implementations • 5 Jan 2024 • Jason Rute, Miroslav Olšák, Lasse Blaauwbroek, Fidel Ivan Schaposnik Massolo, Jelle Piepenbrock, Vasily Pestun
G2T is an online model that is deeply integrated into the users' workflow and can adapt in real time to new Coq projects and their definitions.
1 code implementation • 24 Jul 2023 • Pedro Orvalho, Jelle Piepenbrock, Mikoláš Janota, Vasco Manquinho
Typically, in order to compare two programs, a relation between both programs' sets of variables is required.
1 code implementation • 7 Oct 2022 • Jelle Piepenbrock, Josef Urban, Konstantin Korovin, Miroslav Olšák, Tom Heskes, Mikolaš Janota
In particular, we develop a GNN2RNN architecture based on an invariant graph neural network (GNN) that learns from problems and their solutions independently of symbol names (addressing the abundance of skolems), combined with a recurrent neural network (RNN) that proposes for each clause its instantiations.
1 code implementation • 4 May 2022 • Zarathustra A. Goertzel, Jan Jakubův, Cezary Kaliszyk, Miroslav Olšák, Jelle Piepenbrock, Josef Urban
We significantly improve the performance of the E automated theorem prover on the Isabelle Sledgehammer problems by combining learning and theorem proving in several ways.
no code implementations • 10 Feb 2021 • Jelle Piepenbrock, Tom Heskes, Mikoláš Janota, Josef Urban
On these tasks, 3SIL is shown to significantly outperform several established RL and imitation learning methods.