Ward: Provable RAG Dataset Inference via LLM Watermarks - Jovanović, Nikola; Staab, Robin; Baader, Maximilian; Vechev, Martin (International Conference on Learning Representations, 2025)