Mündler, Niels

9 publications

ICML 2025 BaxBench: Can LLMs Generate Correct and Secure Backends? Mark Vero, Niels Mündler, Victor Chibotaru, Veselin Raychev, Maximilian Baader, Nikola Jovanović, Jingxuan He, Martin Vechev

ICLRW 2025 BaxBench: Can LLMs Generate Correct and Secure Backends? Mark Vero, Niels Mündler, Victor Chibotaru, Veselin Raychev, Maximilian Baader, Nikola Jovanović, Jingxuan He, Martin Vechev

ICML 2025 Black-Box Adversarial Attacks on LLM-Based Code Completion Slobodan Jenko, Niels Mündler, Jingxuan He, Mark Vero, Martin Vechev

ICLRW 2025 Black-Box Adversarial Attacks on LLM-Based Code Completion Slobodan Jenko, Niels Mündler, Jingxuan He, Mark Vero, Martin Vechev

ICLRW 2025 Type-Constrained Code Generation with Language Models Niels Mündler, Jingxuan He, Hao Wang, Koushik Sen, Dawn Song, Martin Vechev

ICMLW 2024 Code Agents Are State of the Art Software Testers Niels Mündler, Mark Niklas Mueller, Jingxuan He, Martin Vechev

ICMLW 2024 Code Agents Are State of the Art Software Testers Niels Mündler, Mark Niklas Mueller, Jingxuan He, Martin Vechev

NeurIPS 2024 SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents Niels Mündler, Mark Niklas Müller, Jingxuan He, Martin Vechev

ICLR 2024 Self-Contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation Niels Mündler, Jingxuan He, Slobodan Jenko, Martin Vechev