Zobrazeno 1 - 4
of 4
pro vyhledávání: '"formal theorem proving"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
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
Mechanisation of Mathematics refers to use of computers to generate or check proofs in Mathematics. It involves translation of relevant mathematical theories from one system of logic to another, to render these theories implementable in a computer. T
Externí odkaz:
http://hdl.handle.net/2005/3052
http://etd.ncsi.iisc.ernet.in/abstracts/3916/G26934-Abs.pdf
http://etd.ncsi.iisc.ernet.in/abstracts/3916/G26934-Abs.pdf
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.