Beurer-Kellner, Luca

7 publications

ICMLW 2024 AI Agents with Formal Security Guarantees Mislav Balunovic, Luca Beurer-Kellner, Marc Fischer, Martin Vechev

NeurIPS 2024 AgentDojo: A Dynamic Environment to Evaluate Prompt Injection Attacks and Defenses for LLM Agents Edoardo Debenedetti, Jie Zhang, Mislav Balunovic, Luca Beurer-Kellner, Marc Fischer, Florian Tramèr

ICLR 2024 Controlled Text Generation via Language Model Arithmetic Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin Vechev

ICML 2024 Guiding LLMs the Right Way: Fast, Non-Invasive Constrained Generation Luca Beurer-Kellner, Marc Fischer, Martin Vechev

ICML 2024 Prompt Sketching for Large Language Models Luca Beurer-Kellner, Mark Niklas Mueller, Marc Fischer, Martin Vechev

NeurIPS 2022 Learning to Configure Computer Networks with Neural Algorithmic Reasoning Luca Beurer-Kellner, Martin Vechev, Laurent Vanbever, Petar Veličković

ICML 2022 On Distribution Shift in Learning-Based Bug Detectors Jingxuan He, Luca Beurer-Kellner, Martin Vechev