Login / Signup
Niels Mündler
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 5
Top Topics
Theorem Prover
Rule Mining
Infrequent Itemsets
Concurrency Control
Top Venues
CoRR
Arch. Formal Proofs
ICTAC
</>
Publications
</>
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)