Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Rothkopf, Raven"'
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:
Samadarshi, Prisha, Mustafa, Mariam, Kulkarni, Anushka, Rothkopf, Raven, Chakrabarty, Tuhin, Muresan, Smaranda
The New York Times Connections game has emerged as a popular and challenging pursuit for word puzzle enthusiasts. We collect 438 Connections games to evaluate the performance of state-of-the-art large language models (LLMs) against expert and novice
Externí odkaz:
http://arxiv.org/abs/2406.11012
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
Reverse-mode automatic differentiation (autodiff) has been popularized by deep learning, but its ability to compute gradients is also valuable for interactive use cases such as bidirectional computer-aided design, embedded physics simulations, visual
Externí odkaz:
http://arxiv.org/abs/2402.17743
The surge in popularity of large language models (LLMs) has opened doors for new approaches to the creation of interactive agents. However, managing and interpreting the temporal behavior of such agents over the course of a potentially infinite inter
Externí odkaz:
http://arxiv.org/abs/2402.16905
Temporal logic specifications can be used to synthesize reactive systems by writing high-level descriptions of desired behavior, without the need to manually program a complete system. While synthesis from temporal logics has long been focused on har
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2cfc6a2ac4bd6a50c1287712b6115a76