Ling-I Wu

Este artículo investiga cómo los modelos de lenguaje grandes simulan códigos lógicos de manera efectiva.

Descubre ACInv, una herramienta que revoluciona la generación de invariantes de bucle para programación compleja.