And then we use the formal verification tool known as Dafny to prove that this program correctly adds up any numbers, not just the numbers that were in your training data.
Y luego utilizamos la herramienta de verificación formal conocida como Daphne para demostrar que este programa suma correctamente cualquier número, no solo los números que estaban en tus datos de entrenamiento.