Controlled Text Generation via Language Model Arithmetic - Dekoninck, Jasper; Fischer, Marc; Beurer-Kellner, Luca; Vechev, Martin (International Conference on Learning Representations, 2024)