Provable Robust Watermarking for AI-Generated Text - Zhao, Xuandong; Ananth, Prabhanjan; Li, Lei; Wang, Yu-Xiang (International Conference on Learning Representations, 2024)