Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches

Մատենագիտական մանրամասներ

Հրատարակված է:	arXiv.org (Sep 8, 2024), p. n/a
Հիմնական հեղինակ:	Braberman, Víctor A
Այլ հեղինակներ:	Bonomo-Braberman, Flavia, Charalambous, Yiannis, Colonna, Juan G, Cordeiro, Lucas C, Rosiane de Freitas
Հրապարակվել է:	Cornell University Library, arXiv.org
Խորագրեր:	Taxonomy Program verification (computers) Software engineering Large language models Software testing
Առցանց հասանելիություն:	Citation/Abstract Full text outside of ProQuest
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!