Jelle Piepenbrock

21 papers A* 1A 4B 3Journal 11Unranked 2

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Machine learning for quantifier selection in cvc5. Int. J. Approx. Reason. Jan Jakubuv, Mikolás Janota, Jelle Piepenbrock, Josef Urban
2026	—	`conf`	OrLog: Resolving Complex Queries with LLMs and Probabilistic Reasoning. ECIR (1) Mohanna Hoveyda, Jelle Piepenbrock, Arjen P. de Vries, Maarten de Rijke, Faegheh Hasibi
2026	J	`jnl`	OrLog: Resolving Complex Queries with LLMs and Probabilistic Reasoning. CoRR Mohanna Hoveyda, Jelle Piepenbrock, Arjen P. de Vries, Maarten de Rijke, Faegheh Hasibi
2025	J	`jnl`	First Experiments with Neural cvc5. CoRR Jelle Piepenbrock, Mikolás Janota, Jan Jakubuv
2025	J	`jnl`	Invariant neural architecture for learning term synthesis in instantiation proving. J. Symb. Comput. Jelle Piepenbrock, Josef Urban, Konstantin Korovin, Miroslav Olsák, Tom Heskes, Mikolás Janota
2025	J	`jnl`	The use of knowledge graphs for drug repurposing: From classical machine learning algorithms to graph neural networks. Comput. Biol. Medicine Siqi Wei, Christo Sasi, Jelle Piepenbrock, Martijn A. Huynen, Peter A. C. 't Hoen
2024	B	`conf`	First Experiments with Neural cvc5. LPAR Jelle Piepenbrock, Mikolas Janota, Josef Urban, Jan Jakubuv
2024	J	`jnl`	Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving. CoRR Jason Rute, Miroslav Olsák, Lasse Blaauwbroek, Fidel Ivan Schaposnik Massolo, Jelle Piepenbrock, Vasily Pestun
2024	A*	`conf`	Graph2Tac: Online Representation Learning of Formal Math Concepts. ICML Lasse Blaauwbroek, Mirek Olsák, Jason Rute, Fidel Ivan Schaposnik Massolo, Jelle Piepenbrock, Vasily Pestun
2024	A	`conf`	Machine Learning for Quantifier Selection in cvc5. ECAI Jan Jakubuv, Mikolás Janota, Jelle Piepenbrock, Josef Urban
2024	J	`jnl`	Machine Learning for Quantifier Selection in cvc5. CoRR Jan Jakubuv, Mikolás Janota, Jelle Piepenbrock, Josef Urban
2023	J	`jnl`	Graph Neural Networks For Mapping Variables Between Programs - Extended Version. CoRR Pedro Orvalho, Jelle Piepenbrock, Mikolás Janota, Vasco Manquinho
2023	A	`conf`	Graph Neural Networks for Mapping Variables Between Programs. ECAI Pedro Orvalho, Jelle Piepenbrock, Mikolás Janota, Vasco Manquinho
2023	B	`conf`	Guiding an Instantiation Prover with Graph Neural Networks. LPAR Karel Chvalovský, Konstantin Korovin, Jelle Piepenbrock, Josef Urban
2023	—	`conf`	Selecting Quantifiers for Instantiation in SMT. SMT Jan Jakubuv, Mikolás Janota, Bartosz Piotrowski, Jelle Piepenbrock, Andrew Reynolds
2022	A	`conf`	Guiding an Automated Theorem Prover with Neural Rewriting. IJCAR Jelle Piepenbrock, Tom Heskes, Mikolás Janota, Josef Urban
2022	J	`jnl`	Machine Learning Meets The Herbrand Universe. CoRR Jelle Piepenbrock, Josef Urban, Konstantin Korovin, Miroslav Olsák, Tom Heskes, Mikolas Janota
2022	B	`conf`	The Isabelle ENIGMA. ITP Zarathustra Amadeus Goertzel, Jan Jakubuv, Cezary Kaliszyk, Miroslav Olsák, Jelle Piepenbrock, Josef Urban
2022	J	`jnl`	The Isabelle ENIGMA. CoRR Zarathustra Amadeus Goertzel, Jan Jakubuv, Cezary Kaliszyk, Miroslav Olsák, Jelle Piepenbrock, Josef Urban
2022	A	`conf`	Towards Learning Quantifier Instantiation in SMT. SAT Mikolás Janota, Jelle Piepenbrock, Bartosz Piotrowski
2021	J	`jnl`	Learning Equational Theorem Proving. CoRR Jelle Piepenbrock, Tom Heskes, Mikolás Janota, Josef Urban