Items where Author is "Zombori, Zsolt"

Article

Zombori, Zsolt and Agapi, Rissaki and Kristóf, Szabó and Wolfgang, Gatterbauer and Michael, Benedikt (2024) Towards Unbiased Exploration in Partial Label Learning. JOURNAL OF MACHINE LEARNING RESEARCH, 412 (Publis). pp. 1-56. ISSN 1532-4435

Varga, Dániel and Csiszárik, Adrián and Zombori, Zsolt (2018) Gradient Regularization Improves Accuracy of Discriminative Models. Schedae Informaticae, 27. pp. 31-45. ISSN 0860-0295

Book Section

Rawson, Michael and Wernhard, Christoph and Zombori, Zsolt and Bibel, Wolfgang (2023) Lemmas: Generation, Selection, Application. In: Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes in Computer Science . Springer, Cham, Cham. ISBN 9783031435133 (In Press)

Zombori, Zsolt and Urban, Josef and Olšák, Miroslav (2021) The Role of Entropy in Guiding a Connection Prover. In: Automated Reasoning with Analytic Tableaux and Related Methods : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings. Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (12842). Springer Nature Switzerland AG. (Springer Nature), Cham, pp. 1-19. ISBN 978-3-030-86058-5 (softcover); 978-3-030-86059-2 (eBook)

Zombori, Zsolt and Csiszárik, Adrián and Michalewski, Henryk and Kaliszyk, Cezary and Urban, Josef (2021) Towards Finding Longer Proofs. In: Automated Reasoning with Analytic Tableaux and Related Methods : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings. Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (12842). Springer Nature Switzerland AG. (Springer Nature), Cham, pp. 1-25. ISBN 978-3-030-86058-5 (softcover); 978-3-030-86059-2 (eBook)

Zombori, Zsolt and Urban, J. and Brown, C.E. (2020) Prolog Technology Reinforcement Learning Prover: (System Description). In: 10th International Joint Conference on Automated Reasoning, IJCAR 2020. Springer, pp. 489-507. ISBN 9783030510534

Conference or Workshop Item

Szabó, Kristóf and Zombori, Zsolt (2021) Dreaming to Prove. In: 6th Conference on Artificial Intelligence and Theorem Proving (AITP 2021), 2021.09.05-11., Aussois; online, France.

Kertész, Gergő Csaba and Papp, Gergely and Szeredi, Péter and Varga, Dániel and Zombori, Zsolt (2021) Ordering Subgoals in a Backward Chaining Prover. In: 6th Conference on Artificial Intelligence and Theorem Proving (AITP 2021), 2021.09.05-11., Aussois; online, France.

Zombori, Zsolt and Urban, Josef (2020) Learning Complex Actions from Proofs in Theorem Proving. In: 5th Conference on Artificial Intelligence and Theorem Proving, 2020.09.13-2020.09.19, Aussois.

Zombori, Zsolt and Csiszárik, Adrián and Michalewski, Henryk and Kaliszyk, Cezary and Urban, Josef (2020) Update on FLoP, a Reinforcement Learning based Theorem Prover. In: 5th Conference on Artificial Intelligence and Theorem Proving, 2020.09.13-2020.09.19, Aussois.