Learning Equational Theorem Proving. - Jelle Piepenbrock; Tom Heskes; Mikolás Janota; Josef Urban (CoRR, 2021)

Guiding an Automated Theorem Prover with Neural Rewriting. - Jelle Piepenbrock; Tom Heskes; Mikolás Janota; Josef Urban (IJCAR, 2022)

The Isabelle ENIGMA. - Zarathustra Amadeus Goertzel; Jan Jakubuv; Cezary Kaliszyk; Miroslav Olsák; Jelle Piepenbrock; Josef Urban (ITP, 2022)

Towards Learning Quantifier Instantiation in SMT. - Mikolás Janota; Jelle Piepenbrock; Bartosz Piotrowski (SAT, 2022)

Machine Learning Meets The Herbrand Universe. - Jelle Piepenbrock; Josef Urban; Konstantin Korovin; Miroslav Olsák; Tom Heskes; Mikolas Janota (CoRR, 2022)

Graph Neural Networks for Mapping Variables Between Programs. - Pedro Orvalho; Jelle Piepenbrock; Mikolás Janota; Vasco Manquinho (ECAI, 2023)

Guiding an Instantiation Prover with Graph Neural Networks. - Karel Chvalovský; Konstantin Korovin; Jelle Piepenbrock; Josef Urban (LPAR, 2023)

Selecting Quantifiers for Instantiation in SMT. - Jan Jakubuv; Mikolás Janota; Bartosz Piotrowski; Jelle Piepenbrock; Andrew Reynolds 001 (SMT, 2023)

Graph Neural Networks For Mapping Variables Between Programs - Extended Version. - Pedro Orvalho; Jelle Piepenbrock; Mikolás Janota; Vasco Manquinho (CoRR, 2023)

Machine Learning for Quantifier Selection in cvc5. - Jan Jakubuv; Mikolás Janota; Jelle Piepenbrock; Josef Urban (ECAI, 2024)

Graph2Tac: Online Representation Learning of Formal Math Concepts. - Lasse Blaauwbroek; Mirek Olsák; Jason Rute; Fidel Ivan Schaposnik Massolo; Jelle Piepenbrock; Vasily Pestun (ICML, 2024)

First Experiments with Neural cvc5. - Jelle Piepenbrock; Mikolas Janota; Josef Urban; Jan Jakubuv (LPAR, 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)

The use of knowledge graphs for drug repurposing: From classical machine learning algorithms to graph neural networks. - Siqi Wei; Christo Sasi; Jelle Piepenbrock; Martijn A. Huynen; Peter A. C. 't Hoen (Comput. Biol. Medicine, 2025)

Invariant neural architecture for learning term synthesis in instantiation proving. - Jelle Piepenbrock; Josef Urban; Konstantin Korovin; Miroslav Olsák; Tom Heskes; Mikolás Janota (J. Symb. Comput., 2025)

First Experiments with Neural cvc5. - Jelle Piepenbrock; Mikolás Janota; Jan Jakubuv (CoRR, 2025)