| Learning to Fuzz from Symbolic Execution with Application to Smart Contracts J He, M Balunović, N Ambroladze, P Tsankov, M Vechev Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019 | 289 | 2019 |
| Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation N Mündler, J He, S Jenko, M Vechev International Conference on Learning Representations, 2024 | 162 | 2024 |
| Debin: Predicting Debug Information in Stripped Binaries J He, P Ivanov, P Tsankov, V Raychev, M Vechev Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 143 | 2018 |
| TFix: Learning to Fix Coding Errors with a Text-to-Text Transformer B Berabi, J He, V Raychev, M Vechev International Conference on Machine Learning, 780-791, 2021 | 142 | 2021 |
| Large language models for code: Security hardening and adversarial testing J He, M Vechev Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023 | 127* | 2023 |
| Learning to Explore Paths for Symbolic Execution J He, G Sivanrupan, P Tsankov, M Vechev Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021 | 40 | 2021 |
| Learning fast and precise numerical analysis J He, G Singh, M Püschel, M Vechev Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 33 | 2020 |
| 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 |
| Instruction Tuning for Secure Code Generation J He, M Vero, G Krasnopolska, M Vechev International Conference on Machine Learning, 2024 | 15 | 2024 |
| Learning to find naming issues with big code and small supervision J He, CC Lee, V Raychev, M Vechev Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 15 | 2021 |
| Exploiting LLM Quantization K Egashira, M Vero, R Staab, J He, M Vechev The Thirty-eighth Annual Conference on Neural Information Processing Systems, 2024 | 9 | 2024 |
| SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents N Mündler, MN Mueller, J He, M Vechev The Thirty-eighth Annual Conference on Neural Information Processing Systems, 2024 | 7* | 2024 |
| Formal Mathematical Reasoning: A New Frontier in AI K Yang, G Poesia, J He, W Li, K Lauter, S Chaudhuri, D Song arXiv preprint arXiv:2412.16075, 2024 | 1 | 2024 |
| Practical Attacks against Black-box Code Completion Engines S Jenko, J He, N Mündler, M Vero, M Vechev arXiv preprint arXiv:2408.02509, 2024 | 1 | 2024 |
Martin VechevFull Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT;Verified email at inf.ethz.ch