Jelle Piepenbrock
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ECIR | OrLog: Resolving Complex Queries with LLMs and Probabilistic Reasoning. | Mohanna Hoveyda, Jelle Piepenbrock, Arjen P. de Vries, Maarten de Rijke, Faegheh Hasibi |
| 2024 | ECAI | Machine Learning for Quantifier Selection in cvc5. | Jan Jakubuv, Mikols Janota, Jelle Piepenbrock, Josef Urban |
| 2024 | ICML | Graph2Tac: Online Representation Learning of Formal Math Concepts. | Lasse Blaauwbroek, Mirek Olsk, Jason Rute, Fidel Ivan Schaposnik Massolo, Jelle Piepenbrock, Vasily Pestun |
| 2024 | LPAR | First Experiments with Neural cvc5. | Jelle Piepenbrock, Mikolas Janota, Josef Urban, Jan Jakubuv |
| 2023 | ECAI | Graph Neural Networks for Mapping Variables Between Programs. | Pedro Orvalho, Jelle Piepenbrock, Mikols Janota, Vasco Manquinho |
| 2023 | LPAR | Guiding an Instantiation Prover with Graph Neural Networks. | Karel Chvalovsk, Konstantin Korovin, Jelle Piepenbrock, Josef Urban |
| 2022 | CADE | Guiding an Automated Theorem Prover with Neural Rewriting. | Jelle Piepenbrock, Tom Heskes, Mikols Janota, Josef Urban |
| 2022 | ITP | The Isabelle ENIGMA. | Zarathustra Amadeus Goertzel, Jan Jakubuv, Cezary Kaliszyk, Miroslav Olsk, Jelle Piepenbrock, Josef Urban |
| 2022 | SAT | Towards Learning Quantifier Instantiation in SMT. | Mikols Janota, Jelle Piepenbrock, Bartosz Piotrowski |