Martin Vechev
16 papers · 742 citations
Most-cited papers
- Beyond Memorization: Violating Privacy Via Inference With Large Language Models2023 · 205 citations
- Swt-bench: Testing And Validating Real-world Bug-fixes With Code Agents2024 · 109 citations
- Exploiting LLM Quantization2024 · 69 citations
- Controlled Text Generation Via Language Model Arithmetic2023 · 58 citations
Topics