| Controlled text generation via language model arithmetic J Dekoninck, M Fischer, L Beurer-Kellner, M Vechev arXiv preprint arXiv:2311.14479, 2023 | 15 | 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 | 12 | 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 | 4 | 2024 |
| ConStat: Performance-Based Contamination Detection in Large Language Models J Dekoninck, MN Müller, M Vechev arXiv preprint arXiv:2405.16281, 2024 | 1 | 2024 |
| 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 |
