Jelle Piepenbrock

According to our database, Jelle Piepenbrock authored at least 10 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving.

Jason Rute, Miroslav Olsák, Lasse Blaauwbroek, Fidel Ivan Schaposnik Massolo, Jelle Piepenbrock, Vasily Pestun

CoRR, 2024

2023

Graph Neural Networks For Mapping Variables Between Programs - Extended Version.

Pedro Orvalho, Jelle Piepenbrock, Mikolás Janota, Vasco M. Manquinho

CoRR, 2023

Selecting Quantifiers for Instantiation in SMT.

Jan Jakubuv, Mikolás Janota, Bartosz Piotrowski, Jelle Piepenbrock, Andrew Reynolds

Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), 2023

Guiding an Instantiation Prover with Graph Neural Networks.

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

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

Graph Neural Networks for Mapping Variables Between Programs.

Pedro Orvalho, Jelle Piepenbrock, Mikolás Janota, Vasco M. Manquinho

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

Machine Learning Meets The Herbrand Universe.

Jelle Piepenbrock, Josef Urban, Konstantin Korovin, Miroslav Olsák, Tom Heskes, Mikolas Janota

CoRR, 2022

Towards Learning Quantifier Instantiation in SMT.

Mikolás Janota, Jelle Piepenbrock, Bartosz Piotrowski

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

The Isabelle ENIGMA.

Zarathustra Amadeus Goertzel, Jan Jakubuv, Cezary Kaliszyk, Miroslav Olsák, Jelle Piepenbrock, Josef Urban

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

Guiding an Automated Theorem Prover with Neural Rewriting.

Jelle Piepenbrock, Tom Heskes, Mikolás Janota, Josef Urban

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

Learning Equational Theorem Proving.

Jelle Piepenbrock, Tom Heskes, Mikolás Janota, Josef Urban

CoRR, 2021