Gradient regularization improves accuracy of discriminative models D Varga, A Csiszárik, Z Zombori arXiv preprint arXiv:1712.09936, 2017 | 53 | 2017 |

Prolog Technology Reinforcement Learning Prover: (System Description) Z Zombori, J Urban, CE Brown International Joint Conference on Automated Reasoning, 489-507, 2020 | 44 | 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 | 31 | 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 | 13 | 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 | 4 | 2019 |

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 |

Safety without alignment A Kornai, M Bukatin, Z Zombori arXiv preprint arXiv:2303.00752, 2023 | 2 | 2023 |

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 |

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 |

Expressive description logic reasoning using first-order resolution Z Zombori Journal of Logic and Computation, 0 | 1 | |

Synthesizing Strongly Equivalent Logic Programs: Beth Definability J Heuer, C Wernhard, C Wernhard, C Wernhard, M Rawson, C Wernhard, ... International Joint Conference on Automated Reasoning, IJCAR 2024 14278, 153-174, 2024 | | 2024 |