ConStat: Performance-Based Contamination Detection in Large Language Models - Dekoninck, Jasper; Müller, Mark Niklas; Vechev, Martin (Advances in Neural Information Processing Systems, 2024)