TY - RPRT TI - Rethinking Evaluation Paradigms in IBP-based Certified Training AU - Konstantin Kaulen AU - Hadar Shavit AU - Holger H. Hoos PY - 2026 UR - https://arxiv.org/abs/2606.02134 ID - 2606.02134 ER -