REAL

Items where Author is "Zombori, Zsolt"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 9.

Article

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.

This list was generated on Thu Mar 28 17:15:37 2024 CET.