Paper accepted at ICLR'26

We are happy that our paper about a probabilistic verification approach for certifying the full YOLO pipeline, has been accepted at ICLR’26.