Zsolt Zombori

29 papers B 3C 1Journal 17Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification.
CoRR
Mykhailo Buleshnyi, Anna Polova, Zsolt Zombori, Michael Benedikt
2025 J jnl
Do Attention Heads Compete or Cooperate during Counting?
CoRR
Pál Zsámboki, Ádám Fraknói, Máté Gedeon, András Kornai, Zsolt Zombori
2025 J jnl
Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures.
CoRR
Christoph Wernhard, Zsolt Zombori
2025 J jnl
Partial Label Learning for Automated Theorem Proving.
CoRR
Zsolt Zombori, Balázs Indruck
2024 J jnl
Towards Unbiased Exploration in Partial Label Learning.
J. Mach. Learn. Res.
Zsolt Zombori, Agapi Rissaki, Kristóf Szabó, Wolfgang Gatterbauer, Michael Benedikt
2023 B conf
Lemmas: Generation, Selection, Application.
TABLEAUX
Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel
2023 J jnl
Lemmas: Generation, Selection, Application.
CoRR
Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel
2023 J jnl
Safety without alignment.
CoRR
András Kornai, Michael Bukatin, Zsolt Zombori
2023 J jnl
Towards Unbiased Exploration in Partial Label Learning.
CoRR
Zsolt Zombori, Agapi Rissaki, Kristóf Szabó, Wolfgang Gatterbauer, Michael Benedikt
2021 B conf
The Role of Entropy in Guiding a Connection Prover.
TABLEAUX
Zsolt Zombori, Josef Urban, Miroslav Olsák
2021 J jnl
The Role of Entropy in Guiding a Connection Prover.
CoRR
Zsolt Zombori, Josef Urban, Miroslav Olsák
2021 B conf
Towards Finding Longer Proofs.
TABLEAUX
Zsolt Zombori, Adrián Csiszárik, Henryk Michalewski, Cezary Kaliszyk, Josef Urban
2021 C conf
Towards solving the 7-in-a-row game.
CoG
Domonkos Czifra, Endre Csóka, Zsolt Zombori, Géza Makay
2021 J jnl
Towards solving the 7-in-a-row game.
CoRR
Domonkos Czifra, Endre Csóka, Zsolt Zombori, Géza Makay
2020 J jnl
Data-dependent Pruning to find the Winning Lottery Ticket.
CoRR
Dániel Lévai, Zsolt Zombori
2020 — conf
Prolog Technology Reinforcement Learning Prover - (System Description).
IJCAR (2)
Zsolt Zombori, Josef Urban, Chad E. Brown
2020 J jnl
Prolog Technology Reinforcement Learning Prover.
CoRR
Zsolt Zombori, Josef Urban, Chad E. Brown
2019 J jnl
Towards Finding Longer Proofs.
CoRR
Zsolt Zombori, Adrián Csiszárik, Henryk Michalewski, Cezary Kaliszyk, Josef Urban
2017 J jnl
Gradient Regularization Improves Accuracy of Discriminative Models.
CoRR
Dániel Varga, Adrián Csiszárik, Zsolt Zombori
2013 — —
Prolog alapú következtetés
Zsolt Zombori
2012 J jnl
Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving.
Acta Cybern.
Zsolt Zombori, Péter Szeredi
2012 — conf
Static Type Inference for the Q language using Constraint Logic Programming.
ICLP (Technical Communications)
Zsolt Zombori, János Csorba, Péter Szeredi
2011 — conf
Static Type Checking for the Q Functional Language in Prolog.
ICLP (Technical Communications)
Zsolt Zombori, János Csorba, Péter Szeredi
2011 — conf
Two Phase Description Logic Reasoning for Efficient Information Retrieval.
ICLP (Technical Communications)
Zsolt Zombori
2011 J jnl
Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language
CoRR
János Csorba, Zsolt Zombori, Péter Szeredi
2010 J jnl
A Resolution Based Description Logic Calculus.
Acta Cybern.
Zsolt Zombori
2010 — conf
Two Phase Description Logic Reasoning for Efficient Information Retrieval.
ESWC (2)
Zsolt Zombori
2009 — conf
A Resolution Based Description Logic Calculus.
Description Logics
Zsolt Zombori, Gergely Lukácsy
2008 — conf
Efficient Two-Phase Data Reasoning for Description Logics.
IFIP AI
Zsolt Zombori