Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Jiang, Albert Qiaochu"'
Autor:
Mikuła, Maciej, Tworkowski, Szymon, Antoniak, Szymon, Piotrowski, Bartosz, Jiang, Albert Qiaochu, Zhou, Jin Peng, Szegedy, Christian, Kuciński, Łukasz, Miłoś, Piotr, Wu, Yuhuai
This paper presents a novel approach to premise selection, a crucial reasoning task in automated theorem proving. Traditionally, symbolic methods that rely on extensive domain knowledge and engineering effort are applied to this task. In contrast, th
Externí odkaz:
http://arxiv.org/abs/2303.04488
In learning-assisted theorem proving, one of the most critical challenges is to generalize to theorems unlike those seen at training time. In this paper, we introduce INT, an INequality Theorem proving benchmark, specifically designed to test agents'
Externí odkaz:
http://arxiv.org/abs/2007.02924