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...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Artigo |
| Lenguaje: | Inglês |
| Publicado: |
Frontiers Media S.A.
2025-11-01
|
| Colección: | Frontiers in Computer Science |
| Materias: | |
| Acceso en línea: | https://www.frontiersin.org/articles/10.3389/fcomp.2025.1655469/full |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|