Zobrazeno 1 - 10
of 86
pro vyhledávání: '"Koenig, Nathan"'
Autor:
Murphy, William, Holzer, Nikolaus, Qiao, Feitong, Cui, Leyi, Rothkopf, Raven, Koenig, Nathan, Santolucito, Mark
In the past few years, Large Language Models (LLMs) have exploded in usefulness and popularity for code generation tasks. However, LLMs still struggle with accuracy and are unsuitable for high-risk applications without additional oversight and verifi
Externí odkaz:
http://arxiv.org/abs/2410.19736
Autor:
Murphy, William, Holzer, Nikolaus, Koenig, Nathan, Cui, Leyi, Rothkopf, Raven, Qiao, Feitong, Santolucito, Mark
Temporal logics are powerful tools that are widely used for the synthesis and verification of reactive systems. The recent progress on Large Language Models (LLMs) has the potential to make the process of writing such specifications more accessible.
Externí odkaz:
http://arxiv.org/abs/2406.07400
Publikováno v:
In Neural Networks 2010 23(8):1104-1112
Autor:
Millard Winchester Hansen
Publikováno v:
The ANNALS of the American Academy of Political and Social Science. 292:219-220
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7b1af324d005abe0316b13da45de207e
https://doi.org/10.1177/0002716254292001101
https://doi.org/10.1177/0002716254292001101
Autor:
Winchester Hansen, Millard
Publikováno v:
The Annals of the American Academy of Political and Social Science; March 1954, Vol. 292 Issue: 1 p219-220, 2p
Autor:
KOENIG, NATHAN
Publikováno v:
Food, Drug, Cosmetic Law Journal, 1965 Jun 01. 20(6), 317-327.
Externí odkaz:
https://www.jstor.org/stable/26656136
Autor:
KOENIG, NATHAN
Publikováno v:
Food, Drug, Cosmetic Law Journal, 1964 Jun 01. 19(6), 326-336.
Externí odkaz:
https://www.jstor.org/stable/26655798
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:
Experimental Robotics (9783642285714); 2014, p65-79, 15p
Publikováno v:
Simulation, Modeling & Programming for Autonomous Robots (9783642173189); 2010, p38-50, 13p