Items where Author is "Zombori, Zsolt"
Group by: Item Type | No Grouping Number of items: 10. ArticleZombori, 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 SectionRawson, 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 ItemSzabó, 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. |