Jelle Piepenbrock

According to our database, Jelle Piepenbrock authored at least 13 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

First Experiments with Neural cvc5.

Jelle Piepenbrock, Mikolas Janota, Josef Urban, Jan Jakubuv

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

Graph2Tac: Online Representation Learning of Formal Math Concepts.

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

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Machine Learning for Quantifier Selection in cvc5.

Jan Jakubuv, Mikolás Janota, Jelle Piepenbrock, Josef Urban

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023

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

Pedro Orvalho, Jelle Piepenbrock, Mikolás Janota, Vasco 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 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