TLA-Prover: Síntesis verificable de TLA+ con optimización por preferencias Descubre TLA-Prover, el modelo de IA que sintetiza especificaciones TLA+ verificables con un 30% de tasa de éxito, superando en 3.5x a los modelos previos. 2026-06-05 · 1 min
