Niels Mündler

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 7

Top Topics

Finding Frequent Itemsets

Top Venues

Arch. Formal Proofs

Publications

Niels Mündler, Jingxuan He, Slobodan Jenko, Martin T. Vechev
Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation. ICLR (2024)
Niels Mündler, Mark Niklas Müller, Jingxuan He, Martin T. Vechev
Code Agents are State of the Art Software Testers. CoRR (2024)
Niels Mündler, Jingxuan He, Slobodan Jenko, Martin T. Vechev
Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation. CoRR (2023)
Niels Mündler, Tobias Nipkow
A Verified Implementation of B+-Trees in Isabelle/HOL. CoRR (2022)
Niels Mündler, Tobias Nipkow
-Trees in Isabelle/HOL. ICTAC (2022)
Niels Mündler
A Verified Imperative Implementation of B-Trees. Arch. Formal Proofs 2021 (2021)
Niels Mündler
Association rule mining and itemset-correlation based variants. CoRR (2019)