2026 is het jaar van formele methoden in ML.