Luca Beurer-Kellner

According to our database, Luca Beurer-Kellner authored at least 8 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Guiding LLMs The Right Way: Fast, Non-Invasive Constrained Generation.

Luca Beurer-Kellner, Marc Fischer, Martin T. Vechev

CoRR, 2024

2023

A Transformational Approach to Managing Data Model Evolution of Web Services.

Luca Beurer-Kellner, Jens von Pilgrim, Christos Tsigkanos, Timo Kehrer

IEEE Trans. Serv. Comput., 2023

Prompting Is Programming: A Query Language for Large Language Models.

Luca Beurer-Kellner, Marc Fischer, Martin T. Vechev

Proc. ACM Program. Lang., 2023

Controlled Text Generation via Language Model Arithmetic.

Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin T. Vechev

CoRR, 2023

Prompt Sketching for Large Language Models.

Luca Beurer-Kellner, Mark Niklas Müller, Marc Fischer, Martin T. Vechev

CoRR, 2023

2022

Learning to Configure Computer Networks with Neural Algorithmic Reasoning.

Luca Beurer-Kellner, Martin T. Vechev, Laurent Vanbever, Petar Velickovic

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

On Distribution Shift in Learning-based Bug Detectors.

Jingxuan He, Luca Beurer-Kellner, Martin T. Vechev

Proceedings of the International Conference on Machine Learning, 2022

2020

Round-trip migration of object-oriented data model instances.

Luca Beurer-Kellner, Jens von Pilgrim, Timo Kehrer

Proceedings of the TTC 2020/2021, 2020