Prompting is programming: A query language for large language models L Beurer-Kellner, M Fischer, M Vechev Proceedings of the ACM on Programming Languages 7 (PLDI), 1946-1969, 2023 | 64 | 2023 |
On distribution shift in learning-based bug detectors J He, L Beurer-Kellner, M Vechev International conference on machine learning, 8559-8580, 2022 | 20 | 2022 |
Learning to configure computer networks with neural algorithmic reasoning L Beurer-Kellner, M Vechev, L Vanbever, P Veličković Advances in Neural Information Processing Systems 35, 730-742, 2022 | 14 | 2022 |
Round-trip migration of object-oriented data model instances. L Beurer-Kellner, J von Pilgrim, T Kehrer TTC/, 2020 | 8 | 2020 |
A transformational approach to managing data model evolution of web services L Beurer-Kellner, J von Pilgrim, C Tsigkanos, T Kehrer IEEE Transactions on Services Computing 16 (1), 65-79, 2022 | 3 | 2022 |
Controlled Text Generation via Language Model Arithmetic J Dekoninck, M Fischer, L Beurer-Kellner, M Vechev arXiv preprint arXiv:2311.14479, 2023 | 2 | 2023 |
Guiding LLMs The Right Way: Fast, Non-Invasive Constrained Generation L Beurer-Kellner, M Fischer, M Vechev arXiv preprint arXiv:2403.06988, 2024 | | 2024 |
Prompt Sketching for Large Language Models L Beurer-Kellner, MN Müller, M Fischer, M Vechev arXiv preprint arXiv:2311.04954, 2023 | | 2023 |
Understanding Large Language Models Through the Lens of Dataset Generation J Dekoninck, M Fischer, L Beurer-Kellner, M Vechev | | 2023 |
LMQL Chat: Scripted Chatbot Development L Beurer-Kellner, M Fischer, M Vechev | | |
Large Language Models are Zero-Shot Multi-Tool Users L Beurer-Kellner, M Fischer, M Vechev | | |