Zobrazeno 1 - 10
of 1 358
pro vyhledávání: '"JENNINGS, JOHN"'
Autor:
Tsoukalas, George, Lee, Jasper, Jennings, John, Xin, Jimmy, Ding, Michelle, Jennings, Michael, Thakur, Amitayush, Chaudhuri, Swarat
We present PutnamBench, a new multi-language benchmark for evaluating the ability of neural theorem-provers to solve competition mathematics problems. PutnamBench consists of 1692 hand-constructed formalizations of 640 theorems sourced from the Willi
Externí odkaz:
http://arxiv.org/abs/2407.11214
Autor:
Jennings, John A.
Publikováno v:
free to MU campus, to others for purchase.
Thesis (Ph. D.)--University of Missouri-Columbia, 1996.
Typescript. Vita. Includes bibliographical references (leaves 159-167). Also available on the Internet.
Typescript. Vita. Includes bibliographical references (leaves 159-167). Also available on the Internet.
Externí odkaz:
http://wwwlib.umi.com/cr/mo/fullcit?p9737851
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:
Cheesman, Quincy T., Kwan, Stephanie A., DeFrance, Michael J., Jennings, John D., Rivlin, Michael, Matzon, Jonas L.
Publikováno v:
In Journal of Hand Surgery November 2024 49(11):1138-1138
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.
Publikováno v:
The Black Scholar, 2018 Dec 01. 48(4), 8-18.
Externí odkaz:
https://www.jstor.org/stable/48538215
Autor:
Jennings, John T.
Publikováno v:
Title page, contents and summary only.
Thesis (Ph.D.) -- University of Adelaide, Dept. of Applied and Molecular Ecology, 2000.
Copies of six of the author's previously published articles in pocket inside back cover. Bibliography: leaves 188-208.
Copies of six of the author's previously published articles in pocket inside back cover. Bibliography: leaves 188-208.
Externí odkaz:
http://web4.library.adelaide.edu.au/theses/09PH/09phj543.pdf