Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Koenig, Nathan P."'
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
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.
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:
Proceedings of the 4th ACM/IEEE International Conference: Human Robot Interaction; 3/ 9/2009, p157-164, 8p
