¿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. 2026-06-05 · 1 min
