Niels Mündler

18 papers A* 4C 1Journal 13
YearRankTypeTitle / Venue / Authors
2026 J jnl
CodeTaste: Can LLMs Generate Human-Level Code Refactorings?
CoRR
Alex Thillen, Niels Mündler, Veselin Raychev, Martin T. Vechev
2026 J jnl
Evaluating AGENTS.md: Are Repository-Level Context Files Helpful for Coding Agents?
CoRR
Thibaud Gloaguen, Niels Mündler, Mark Niklas Müller, Veselin Raychev, Martin T. Vechev
2025 J jnl
AutoBaxBuilder: Bootstrapping Code Security Benchmarking.
CoRR
Tobias von Arx, Niels Mündler, Mark Vero, Maximilian Baader, Martin T. Vechev
2025 A* conf
BaxBench: Can LLMs Generate Correct and Secure Backends?
ICML
Mark Vero, Niels Mündler, Victor Chibotaru, Veselin Raychev, Maximilian Baader, Nikola Jovanovic, Jingxuan He, Martin T. Vechev
2025 J jnl
BaxBench: Can LLMs Generate Correct and Secure Backends?
CoRR
Mark Vero, Niels Mündler, Victor Chibotaru, Veselin Raychev, Maximilian Baader, Nikola Jovanovic, Jingxuan He, Martin T. Vechev
2025 A* conf
Black-Box Adversarial Attacks on LLM-Based Code Completion.
ICML
Slobodan Jenko, Niels Mündler, Jingxuan He, Mark Vero, Martin T. Vechev
2025 J jnl
Constrained Decoding of Diffusion LLMs with Context-Free Grammars.
CoRR
Niels Mündler, Jasper Dekoninck, Martin T. Vechev
2025 J jnl
Type-Constrained Code Generation with Language Models.
CoRR
Niels Mündler, Jingxuan He, Hao Wang, Koushik Sen, Dawn Song, Martin T. Vechev
2025 J jnl
Type-Constrained Code Generation with Language Models.
Proc. ACM Program. Lang.
Niels Mündler, Jingxuan He, Hao Wang, Koushik Sen, Dawn Song, Martin T. Vechev
2024 J jnl
Code Agents are State of the Art Software Testers.
CoRR
Niels Mündler, Mark Niklas Müller, Jingxuan He, Martin T. Vechev
2024 J jnl
Practical Attacks against Black-box Code Completion Engines.
CoRR
Slobodan Jenko, Jingxuan He, Niels Mündler, Mark Vero, Martin T. Vechev
2024 A* conf
SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents.
NeurIPS
Niels Mündler, Mark Niklas Müller, Jingxuan He, Martin T. Vechev
2024 A* conf
Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation.
ICLR
Niels Mündler, Jingxuan He, Slobodan Jenko, Martin T. Vechev
2023 J jnl
Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation.
CoRR
Niels Mündler, Jingxuan He, Slobodan Jenko, Martin T. Vechev
2022 C conf
A Verified Implementation of B
ICTAC
Niels Mündler, Tobias Nipkow
2022 J jnl
A Verified Implementation of B+-Trees in Isabelle/HOL.
CoRR
Niels Mündler, Tobias Nipkow
2021 J jnl
A Verified Imperative Implementation of B-Trees.
Arch. Formal Proofs
Niels Mündler
2019 J jnl
Association rule mining and itemset-correlation based variants.
CoRR
Niels Mündler