Pay Attention to the Triggers: Constructing Backdoors That Survive Distillation. - Giovanni De Muri; Mark Vero; Robin Staab; Martin T. Vechev (CoRR, 2025)