Luca Beurer-Kellner

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 13

Top Topics

Language Modelling

Smoothing Methods

Top Venues

Proc. ACM Program. Lang.

IEEE Trans. Serv. Comput.

Publications

Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin T. Vechev
Controlled Text Generation via Language Model Arithmetic. ICLR (2024)
Luca Beurer-Kellner, Marc Fischer, Martin T. Vechev
Guiding LLMs The Right Way: Fast, Non-Invasive Constrained Generation. CoRR (2024)
Edoardo Debenedetti, Jie Zhang, Mislav Balunovic, Luca Beurer-Kellner, Marc Fischer, Florian Tramèr
AgentDojo: A Dynamic Environment to Evaluate Attacks and Defenses for LLM Agents. CoRR (2024)
Luca Beurer-Kellner, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
Prompt Sketching for Large Language Models. CoRR (2023)
Luca Beurer-Kellner, Jens von Pilgrim, Christos Tsigkanos, Timo Kehrer
A Transformational Approach to Managing Data Model Evolution of Web Services. IEEE Trans. Serv. Comput. 16 (1) (2023)
Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin T. Vechev
Controlled Text Generation via Language Model Arithmetic. CoRR (2023)
Luca Beurer-Kellner, Marc Fischer, Martin T. Vechev
Prompting Is Programming: A Query Language for Large Language Models. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Jingxuan He, Luca Beurer-Kellner, Martin T. Vechev
On Distribution Shift in Learning-based Bug Detectors. CoRR (2022)
Luca Beurer-Kellner, Martin T. Vechev, Laurent Vanbever, Petar Velickovic
Learning to Configure Computer Networks with Neural Algorithmic Reasoning. CoRR (2022)
Luca Beurer-Kellner, Martin T. Vechev, Laurent Vanbever, Petar Velickovic
Learning to Configure Computer Networks with Neural Algorithmic Reasoning. NeurIPS (2022)
Jingxuan He, Luca Beurer-Kellner, Martin T. Vechev
On Distribution Shift in Learning-based Bug Detectors. ICML (2022)
Luca Beurer-Kellner, Marc Fischer, Martin Vechev
Prompting Is Programming: A Query Language For Large Language Models. CoRR (2022)
Luca Beurer-Kellner, Jens von Pilgrim, Timo Kehrer
Round-trip migration of object-oriented data model instances. TTC/ (2020)