Get started
Author

Zsolt Zombori

Observed name: Zombori, Zsolt
Institution: KU Leuven
ORCID: 0000-0001-8622-5304
Observed ORCID: 0000-0001-8622-5304
OpenAlex ID: A5085073547
Gradient Regularization Improves Accuracy of Discriminative Models
2018 · Dániel Varga, Adrián Csiszárik, et al. · Schedae Informaticae · 32
PDF
Prolog Technology Reinforcement Learning Prover: (System Description)
2020 · Zombori, Zsolt, Urban, Josef, et al. · PubMed Central · 23
Towards Finding Longer Proofs
2021 · Zsolt Zombori, Adrián Csiszárik, et al. · Lecture notes in computer science · 14
PDF
Efficient Two-Phase Data Reasoning for Description Logics
2008 · Zsolt Zombori · IFIP International Federation for Information Processing/IFIP · 9
PDF
The Role of Entropy in Guiding a Connection Prover
2021 · Zsolt Zombori, Josef Urban, et al. · Lecture notes in computer science · 7
PDF
Lemmas: Generation, Selection, Application
2023 · Michael Rawson, Christoph Wernhard, et al. · Lecture notes in computer science · 5
PDF
Static Type Checking for the Q Functional Language in Prolog
2011 · Zombori, Zsolt, Csorba, János, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 3
PDF
A Resolution Based Description Logic Calculus.
2009 · Zsolt Zombori, Gergely Lukácsy · 3
Prolog Technology Reinforcement Learning Prover
2020 · Zsolt Zombori, Josef Urban, et al. · Lecture notes in computer science · 2
PDF
Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures
2025 · Wernhard, Christoph, Zombori, Zsolt · arXiv (Cornell University) · 1
PDF
Static Type Inference for the Q language using Constraint Logic Programming
2012 · Zombori, Zsolt, Csorba, János, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 1
PDF
Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving
2012 · Zsolt Zombori, Péter Szeredi · Acta Cybernetica · 1
PDF
Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language
2011 · Csorba, János, Zombori, Zsolt, et al. · arXiv (Cornell University) · 1
PDF
Two Phase Description Logic Reasoning for Efficient Information Retrieval
2011 · Zombori, Zsolt · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 1
PDF
NeSySy: Synthetic Neurosymbolic Task Generation with Controlled Constraint Complexity (TACAS 2027 artifact)
2026 · Mykhailo Buleshnyi, Zsolt Zombori, et al. · Zenodo (CERN European Organization for Nuclear Research)
Neurosymbolic Constraint Learning: A Short Survey
2026 · Dewulf, Quinten, Seibt, Annegret, et al. · Lirias
PDF
Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
2025 · Buleshnyi, Mykhailo, Polova, Anna, et al. · arXiv (Cornell University)
PDF
Partial Label Learning for Automated Theorem Proving
2025 · Zombori, Zsolt, Indruck, Balázs · arXiv (Cornell University)
PDF
Do Attention Heads Compete or Cooperate during Counting?
2025 · Zsámboki, Pál, Fraknói, Ádám, et al. · arXiv (Cornell University)
PDF
Towards Unbiased Exploration in Partial Label Learning
2023 · Zombori, Zsolt, Rissaki, Agapi, et al. · Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)
PDF
Safety without alignment
2023 · Kornai, András, Bukatin, Michael, et al. · arXiv (Cornell University)
PDF
Towards solving the 7-in-a-row game
2021 · Domonkos Czifra, Endre Csoka, et al. · IEEE Conference on Games (CoG)
PDF
Data-dependent Pruning to find the Winning Lottery Ticket
2020 · Lévai, Dániel, Zombori, Zsolt · arXiv (Cornell University)
PDF
Proceedings of the Doctoral School of Computer Science and Information Technologies
2019 · Zsolt Zombori, János Csorba, et al.
Curriculum learning and theorem proving
2019 · Zombori, Zsolt, Csiszárik, Adrián, et al. · Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)
PDF
Works count: 35
Citation count: 103
H-index: 5
I10-index: 3
Year
Topic
Type