Lin Tan

Este artículo explora un método para entender modelos de aprendizaje automático de caja negra sin datos de entrenamiento.

Investigando el papel de los LLM en la generación de especificaciones de software para verificación.