Nadia Polikarpova

Una herramienta que utiliza IA para generar afirmaciones de ayuda para la verificación de código Dafny.

Nuevos métodos mejoran los resultados de los modelos de lenguaje mientras mantienen las reglas gramaticales.