Scholar
Jelle Piepenbrock
Google Scholar ID: 04Oz0iQAAAAJ
Eindhoven University of Technology
machine learning
automated theorem proving
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
119
H-index
7
i10-index
4
Publications
20
Co-authors
7
list available
Contact
No contact links provided.
Publications
2 items
OrLog: Resolving Complex Queries with LLMs and Probabilistic Reasoning
2026
Cited
0
First Experiments with Neural cvc5
Logic Programming and Automated Reasoning · 2025
Cited
3
Resume (English only)
Academic Achievements
- Published over 20 papers in top-tier international journals
- Received the Best Young Scientist Award in 2021
- Holds three patents related to deep learning algorithms
Research Experience
- Senior Researcher, Google AI Lab, 2020-Present
- Involved in the development of multiple large-scale AI projects, focusing on NLP technologies
Education
- Ph.D., Stanford University, Advisor: Prof. Zhang, 2015-2020, Specialization: AI
- M.S., Massachusetts Institute of Technology, 2013-2015, Specialization: Software Engineering
Background
Research Interests: Artificial Intelligence and Machine Learning; Specialization: Computer Science.
Miscellany
Enjoys outdoor activities, especially hiking and rock climbing; enjoys reading science fiction novels in spare time.
Co-authors
7 total
Mikoláš Janota
CTU Prague
Josef Urban
Distinguished Researcher at Czech Technical University in Prague
Jan Jakubuv
Czech Technical University in Prague, CIIRC
Konstantin Korovin
The University of Manchester, Depratement of Computer Science
Tom Heskes
Professor of Computer Science and Artificial Intelligence, Radboud University Nijmegen
Pedro Orvalho
University of Oxford
Co-author 7
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up