Azala

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications

Gorde:
Argitaratua izan da:arXiv.org (Apr 17, 2024), p. n/a
Egile nagusia: Alhanahnah, Mohannad
Beste egile batzuk: Hasan, Md Rashedul, Bagheri, Hamid
Argitaratua:
Cornell University Library, arXiv.org
Gaiak:
Large language models
Imperative programming
Repair
Software
Programming languages
Specification and description languages
Formal specifications
Sarrera elektronikoa:Citation/Abstract
Full text outside of ProQuest
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!