Niels Mündler

According to our database, Niels Mündler authored at least 7 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Practical Attacks against Black-box Code Completion Engines.

Slobodan Jenko, Jingxuan He, Niels Mündler, Mark Vero, Martin T. Vechev

CoRR, 2024

Code Agents are State of the Art Software Testers.

Niels Mündler, Mark Niklas Müller, Jingxuan He, Martin T. Vechev

CoRR, 2024

Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation.

Niels Mündler, Jingxuan He, Slobodan Jenko, Martin T. Vechev

Proceedings of the Twelfth International Conference on Learning Representations, 2024

2022

A Verified Implementation of B+-Trees in Isabelle/HOL.

Niels Mündler, Tobias Nipkow

CoRR, 2022

A Verified Implementation of B⁺-Trees in Isabelle/HOL.

Niels Mündler, Tobias Nipkow

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021

A Verified Imperative Implementation of B-Trees.

Niels Mündler

Arch. Formal Proofs, 2021

2019

Association rule mining and itemset-correlation based variants.

Niels Mündler

CoRR, 2019