Jelle Piepenbrock

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 12

Top Topics

Theorem Proving

First Order Logic

Top Venues

Publications

Jason Rute, Miroslav Olsák, Lasse Blaauwbroek, Fidel Ivan Schaposnik Massolo, Jelle Piepenbrock, Vasily Pestun
Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving. CoRR (2024)
Jelle Piepenbrock, Mikolas Janota, Josef Urban, Jan Jakubuv
First Experiments with Neural cvc5. LPAR (2024)
Pedro Orvalho, Jelle Piepenbrock, Mikolás Janota, Vasco M. Manquinho
Graph Neural Networks For Mapping Variables Between Programs - Extended Version. CoRR (2023)
Karel Chvalovský, Konstantin Korovin, Jelle Piepenbrock, Josef Urban
Guiding an Instantiation Prover with Graph Neural Networks. LPAR (2023)
Pedro Orvalho, Jelle Piepenbrock, Mikolás Janota, Vasco M. Manquinho
Graph Neural Networks for Mapping Variables Between Programs. ECAI (2023)
Jan Jakubuv, Mikolás Janota, Bartosz Piotrowski, Jelle Piepenbrock, Andrew Reynolds
Selecting Quantifiers for Instantiation in SMT. SMT (2023)
Zarathustra Amadeus Goertzel, Jan Jakubuv, Cezary Kaliszyk, Miroslav Olsák, Jelle Piepenbrock, Josef Urban
The Isabelle ENIGMA. ITP (2022)
Zarathustra Amadeus Goertzel, Jan Jakubuv, Cezary Kaliszyk, Miroslav Olsák, Jelle Piepenbrock, Josef Urban
The Isabelle ENIGMA. CoRR (2022)
Jelle Piepenbrock, Tom Heskes, Mikolás Janota, Josef Urban
Guiding an Automated Theorem Prover with Neural Rewriting. IJCAR (2022)
Jelle Piepenbrock, Josef Urban, Konstantin Korovin, Miroslav Olsák, Tom Heskes, Mikolas Janota
Machine Learning Meets The Herbrand Universe. CoRR (2022)
Mikolás Janota, Jelle Piepenbrock, Bartosz Piotrowski
Towards Learning Quantifier Instantiation in SMT. SAT (2022)
Jelle Piepenbrock, Tom Heskes, Mikolás Janota, Josef Urban
Learning Equational Theorem Proving. CoRR (2021)