| 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 | 145 | 2023 |
| On distribution shift in learning-based bug detectors J He, L Beurer-Kellner, M Vechev International conference on machine learning, 8559-8580, 2022 | 27 | 2022 |
| Guiding llms the right way: Fast, non-invasive constrained generation L Beurer-Kellner, M Fischer, M Vechev arXiv preprint arXiv:2403.06988, 2024 | 24 | 2024 |
| Controlled text generation via language model arithmetic J Dekoninck, M Fischer, L Beurer-Kellner, M Vechev arXiv preprint arXiv:2311.14479, 2023 | 22 | 2023 |
| Agentdojo: A dynamic environment to evaluate attacks and defenses for llm agents E Debenedetti, J Zhang, M Balunović, L Beurer-Kellner, M Fischer, ... arXiv preprint arXiv:2406.13352, 2024 | 21 | 2024 |
| 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 | 21 | 2022 |
| Round-trip migration of object-oriented data model instances. L Beurer-Kellner, J von Pilgrim, T Kehrer TTC/, 2020 | 9 | 2020 |
| Understanding large language models through the lens of dataset generation, 2024 J Dekoninck, M Fischer, L Beurer-Kellner, M Vechev URL https://openreview. net/forum, 0 | 5 | |
| 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 | 4 | 2022 |
| Agentdojo: A dynamic environment to evaluate prompt injection attacks and defenses for LLM agents E Debenedetti, J Zhang, M Balunovic, L Beurer-Kellner, M Fischer, ... Advances in Neural Information Processing Systems 37, 82895-82920, 2025 | 3 | 2025 |
| Prompt sketching for large language models L Beurer-Kellner, MN Müller, M Fischer, M Vechev arXiv preprint arXiv:2311.04954, 2023 | 3 | 2023 |
| AI Agents with Formal Security Guarantees M Balunovic, L Beurer-Kellner, M Fischer, M Vechev ICML 2024 Next Generation of AI Safety Workshop, 2024 | 1 | 2024 |
| Large Language Models are Zero-Shot Multi-Tool Users L Beurer-Kellner, M Fischer, M Vechev Proceedings of the ICML Workshop on Knowledge and Logical Reasoning in the …, 2023 | 1 | 2023 |
| Understanding Large Language Models Through the Lens of Dataset Generation J Dekoninck, M Fischer, L Beurer-Kellner, M Vechev | | |
| LMQL Chat: Scripted Chatbot Development L Beurer-Kellner, M Fischer, M Vechev | | |
