Black-Box Detection of Language Model Watermarks - Gloaguen, Thibaud; Jovanović, Nikola; Staab, Robin; Vechev, Martin (International Conference on Learning Representations, 2025)