Association rule mining and itemset-correlation based variants. - Niels Mündler (CoRR, 2019)

A Verified Imperative Implementation of B-Trees. - Niels Mündler (Arch. Formal Proofs, 2021)

A Verified Implementation of B+-Trees in Isabelle/HOL. - Niels Mündler; Tobias Nipkow (ICTAC, 2022)

A Verified Implementation of B+-Trees in Isabelle/HOL. - Niels Mündler; Tobias Nipkow (CoRR, 2022)

Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation. - Niels Mündler; Jingxuan He; Slobodan Jenko; Martin T. Vechev (ICLR, 2024)

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

Code Agents are State of the Art Software Testers. - Niels Mündler; Mark Niklas Müller; Jingxuan He; Martin T. Vechev (CoRR, 2024)

Practical Attacks against Black-box Code Completion Engines. - Slobodan Jenko; Jingxuan He; Niels Mündler; Mark Vero; Martin T. Vechev (CoRR, 2024)

Type-Constrained Code Generation with Language Models. - Niels Mündler; Jingxuan He; Hao Wang 112; Koushik Sen; Dawn Song; Martin T. Vechev (Proc. ACM Program. Lang., 2025)

BaxBench: Can LLMs Generate Correct and Secure Backends? - Mark Vero; Niels Mündler; Victor Chibotaru; Veselin Raychev; Maximilian Baader; Nikola Jovanovic 001; Jingxuan He; Martin T. Vechev (CoRR, 2025)

Constrained Decoding of Diffusion LLMs with Context-Free Grammars. - Niels Mündler; Jasper Dekoninck; Martin T. Vechev (CoRR, 2025)