| Controlled text generation via language model arithmetic J Dekoninck, M Fischer, L Beurer-Kellner, M Vechev arXiv preprint arXiv:2311.14479, 2023 | 21 | 2023 |
| Evading data contamination detection for language models is (too) easy J Dekoninck, MN Müller, M Baader, M Fischer, M Vechev arXiv preprint arXiv:2402.02823, 2024 | 13 | 2024 |
| Synthetiq: Fast and versatile quantum circuit synthesis A Paradis, J Dekoninck, B Bichsel, M Vechev Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 55-82, 2024 | 5 | 2024 |
| 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 | |
| Constat: Performance-based contamination detection in large language models J Dekoninck, MN Müller, M Vechev arXiv preprint arXiv:2405.16281, 2024 | 3 | 2024 |
| MathConstruct: Challenging LLM Reasoning with Constructive Proofs M Balunović, J Dekoninck, N Jovanović, I Petrov, M Vechev arXiv preprint arXiv:2502.10197, 2025 | | 2025 |
| A Unified Approach to Routing and Cascading for LLMs J Dekoninck, M Baader, M Vechev arXiv preprint arXiv:2410.10347, 2024 | | 2024 |
| Polyrating: A Cost-Effective and Bias-Aware Rating System for LLM Evaluation J Dekoninck, M Baader, M Vechev arXiv preprint arXiv:2409.00696, 2024 | | 2024 |