GeoLogic — Graphical Interactive Theorem Prover for Euclidean Geometry

von Olšák, Miroslav
Veröffentlicht in International Congress on Mathematical Software (7. : 2020 : Online) Mathematical software - ICMS 2020 (2020)

Property Invariant Embedding for Automated Reasoning

von Olšák, Miroslav
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 2 (2020)

The Role of Entropy in Guiding a Connection Prover

von Zombori, Zsolt
Veröffentlicht in TABLEAUX (30. : 2021 : Online) Automated reasoning with analytic tableaux and related methods (2021)

Learning Theorem Proving Components

von Chvalovský, Karel
Veröffentlicht in TABLEAUX (30. : 2021 : Online) Automated reasoning with analytic tableaux and related methods (2021)

Planning from Pixels in Environments with Combinatorially Hard Search Spaces

von Bagatella, Marco
Veröffentlicht in NeurIPS (35. : 2021 : Online) 35th Conference on Neural Information Processing Systems (NeurIPS 2021) ; Volume 30 of 36 (2022)

Leaming to Solve Geometric Construction Problems from Images

von Macke, Jaroslav
Veröffentlicht in CICM (14. : 2021 : Online) Intelligent Computer Mathematics (2021)

Fast and Slow Enigmas and Parental Guidance

von Goertzel, Zarathustra A.
Veröffentlicht in FroCoS (13. : 2021 : Birmingham) Frontiers of Combining Systems (2021)

ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)

von Jakubuv, Jan
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2 (2020)