Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Tomasz Odrzygóźdź"'
Autor:
Szymon Tworkowski, Maciej Mikuła, Tomasz Odrzygóźdź, Konrad Czechowski, Szymon Antoniak, Albert Qiaochu Jiang, Christian Szegedy, Łukasz Kuciński, Piotr Miłoś, Yuhuai Wu
Premise selection, the problem of selecting a useful premise to prove a new theorem, is an essential part of theorem proving. Existing language models cannot access knowledge beyond a small context window, and therefore are unsatisfactory at retrievi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3a81d6904c9c9ea7914d55162bc0cc14
Autor:
Tomasz Odrzygóźdź
Our main result is that for densities $
Comment: 30 pages, 18 figures
Comment: 30 pages, 18 figures
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9428d9e10cd0c416174c2b6842072a4d
http://arxiv.org/abs/1610.03376
http://arxiv.org/abs/1610.03376
Autor:
Tomasz Odrzygóźdź
We introduce a new random group model called the square model: we quotient a free group on $n$ generators by a random set of relations, each of which is a reduced word of length four. We prove, as in the Gromov density model, that for densities $> \f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::629046f16bf91b34341776b945a1ed98
Autor:
Andrzej Dragan, Tomasz Odrzygóźdź
Publikováno v:
American Journal of Physics. 81:631-632
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::df5da21b9eae10776e7fb8e6c793261e
https://doi.org/10.1119/1.4807564
https://doi.org/10.1119/1.4807564
