Zsolt Zombori (Preferred)
Zsolt Zombori
Researcher, Alfréd Rényi Institute of Mathematics
Joined
November 2016
Names
Emails
****@t-online.hu (Confirmed)
****@renyi.hu (Confirmed)
****@renyi.hu (Confirmed)
Personal Links
Career & Education History
Researcher
Alfréd Rényi Institute of Mathematics (renyi.hu)
2016 – Present
Postdoc
Department of Computer Science, University of Oxford (cs.ox.ac.uk)
2021 – 2022
PhD student
Budapest University of Technology an Economics (bme.hu)
2009 – 2013
Advisors, Relations & Conflicts
Expertise
Neuro-symbolic integration
Present
Machine Learning for Theorem Proving
2018 – Present
deep learning
, residual networks
, generative models
2016 – Present
logic
, reasoning
, automated theorem proving
, Description Logics
2008 – 2013
Prolog
, logic programming
, constraint logic programming
2008 – 2013
Publications
Co-Authors
- Adrián Csiszárik
- Agapi Rissaki
- András Kornai
- Cezary Kaliszyk
- Chad E. Brown
- Christoph Wernhard
- Domonkos Czifra
- Dániel Lévai
- Dániel Varga
- Endre Csóka
- Gergely Lukácsy
- Géza Makay
- Henryk Michalewski
- Josef Urban
- János Csorba
- Kristóf Szabó
- Michael Benedikt
- Michael Bukatin
- Michael Rawson
- Miroslav Olsák
- Péter Szeredi
- Wolfgang Bibel
- Wolfgang Gatterbauer