A dual perspective review on large language models and code verification
Recent advances in Large Language Models (LLMs) have sparked significant interest in their application to code verification and the assessment of LLM-generated code safety. This review examines current research on the intersection of LLMs with software verification, focusing on two main aspects: the...
Tallennettuna:
| Päätekijät: | , |
|---|---|
| Aineistotyyppi: | Artigo |
| Kieli: | Inglês |
| Julkaistu: |
Frontiers Media S.A.
2025-11-01
|
| Sarja: | Frontiers in Computer Science |
| Aiheet: | |
| Linkit: | https://www.frontiersin.org/articles/10.3389/fcomp.2025.1655469/full |
| Tagit: |
Ei tageja, Lisää ensimmäinen tagi!
|