Braberman, V. A., Bonomo-Braberman, F., Charalambous, Y., Colonna, J. G., Cordeiro, L. C., & Freitas, R. d. (Sep 8, 2024). Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches. arXiv.org.
Kopírování bylo úspěšné
Kopírování se nezdařilo
Citace podle Chicago (17th ed.)
Braberman, Víctor A., Flavia Bonomo-Braberman, Yiannis Charalambous, Juan G. Colonna, Lucas C. Cordeiro, a Rosiane de Freitas. "Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches."
ArXiv.org Sep 8, 2024.
Kopírování bylo úspěšné
Kopírování se nezdařilo
Citace podle MLA (9th ed.)
Braberman, Víctor A., et al. "Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches."
ArXiv.org, Sep 8, 2024.
Kopírování bylo úspěšné
Kopírování se nezdařilo
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..