LipNeXt: Scaling up Lipschitz-based Certified Robustness to Billion-parameter Models - Hu, Kai; Hu, Haoqi; Fredrikson, Matt (International Conference on Learning Representations, 2026)