Gradient regularization improves accuracy of discriminative models D Varga, A Csiszárik, Z Zombori arXiv preprint arXiv:1712.09936, 2017 | 60 | 2017 |
Prolog Technology Reinforcement Learning Prover: (System Description) Z Zombori, J Urban, CE Brown International Joint Conference on Automated Reasoning, 489-507, 2020 | 46 | 2020 |
Towards finding longer proofs Z Zombori, A Csiszárik, H Michalewski, C Kaliszyk, J Urban Automated Reasoning with Analytic Tableaux and Related Methods: 30th …, 2021 | 32 | 2021 |
The role of entropy in guiding a connection prover Z Zombori, J Urban, M Olšák Automated Reasoning with Analytic Tableaux and Related Methods: 30th …, 2021 | 14 | 2021 |
Efficient two-phase data reasoning for description logics Z Zombori Artificial Intelligence in Theory and Practice II: IFIP 20 th World Computer …, 2008 | 12 | 2008 |
Lemmas: Generation, selection, application M Rawson, C Wernhard, Z Zombori, W Bibel International Conference on Automated Reasoning with Analytic Tableaux and …, 2023 | 8 | 2023 |
Curriculum learning and theorem proving Z Zombori, A Csiszárik, H Michalewski, C Kaliszyk, J Urban Conference on Artificial Intelligence and Theorem Proving, 37, 2019 | 5 | 2019 |
Safety without alignment A Kornai, M Bukatin, Z Zombori arXiv preprint arXiv:2303.00752, 2023 | 4 | 2023 |
Pros and cons of using CHR for type inference J Csorba, Z Zombori, P Szeredi CHR 2012—Proceedings of the 9th International Workshop on Constraint …, 2012 | 3 | 2012 |
Static type checking for the q functional language in prolog Z Zombori, J Csorba, P Szeredi Technical Communications of the 27th International Conference on Logic …, 2011 | 3 | 2011 |
A resolution based description logic calculus Z Zombori Acta Cybernetica 19 (3), 571-590, 2010 | 3 | 2010 |
Dreaming to Prove K Szabó, Z Zombori | 2 | 2021 |
Static Type Inference for the Q language using Constraint Logic Programming Z Zombori, J Csorba, P Szeredi Technical Communications of the 28th International Conference on Logic …, 2012 | 2 | 2012 |
Using constraint handling rules to provide static type analysis for the q functional language J Csorba, Z Zombori, P Szeredi arXiv preprint arXiv:1112.3784, 2011 | 2 | 2011 |
Two phase description logic reasoning for efficient information retrieval Z Zombori The Semantic Web: Research and Applications: 7th Extended Semantic Web …, 2010 | 2 | 2010 |
Exploring Metamath Proof Structures C Wernhard, Z Zombori AITP 2024, 2024 | 1 | 2024 |
Language Models, Mathematics, Embeddings Z Zombori, P Zsámboki, Á Fraknói, M Gedeon, A Kornai 9th Conference on Artificial Intelligence and Theorem Proving, 2024 | 1 | 2024 |
Embedding Mathematical Formulas into Vector Space Á Fraknói, A Kornai, Z Zombori 8th Conference on Artificial Intelligence and Theorem Proving, 2023 | 1 | 2023 |
Learning to identify useful lemmas from failure M Rawson, C Wernhard, Z Zombori AITP 2023, 2023 | 1 | 2023 |
Loop elimination, a sound optimisation technique for pttp related theorem proving Z Zombori, P Szeredi Acta Cybernetica 20 (3), 441-458, 2012 | 1 | 2012 |