Our paper on integrating verification in the learning of congestion controllers is accepted to appear at EuroSys’26!