Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Raja, Sibi"'
Autor:
Brandfonbrener, David, Henniger, Simon, Raja, Sibi, Prasad, Tarun, Loughridge, Chloe, Cassano, Federico, Hu, Sabrina Ruixin, Yang, Jianang, Byrd, William E., Zinkov, Robert, Amin, Nada
Large Language Models (LLMs) can generate useful code, but often the code they generate cannot be trusted to be sound. In this paper, we present VerMCTS, an approach to begin to resolve this issue by generating verified programs in Dafny and Coq. Ver
Externí odkaz:
http://arxiv.org/abs/2402.08147
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.
Autor:
Abdul, Lyan, Rajasekar, Shravanthi, Lin, Dawn S. Y., Venkatasubramania Raja, Sibi, Sotra, Alexander, Feng, Yuhang, Liu, Amy, Zhang, Boyang
Publikováno v:
Lab on a Chip; 1/14/2021, Vol. 21 Issue 2, p447-448, 2p