#verificación industrial

¿Pueden los LLMs escribir especificaciones TLA+ correctas?

Evaluamos 30 LLMs en la generación de especificaciones TLA+ correctas. Solo un 8.6% de precisión semántica. ¿Son fiables? Descúbrelo.