research
∙
05/25/2023
Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation
Large language models (large LMs) are susceptible to producing text with...
share
research
∙
08/18/2022
A Verified Implementation of B+-Trees in Isabelle/HOL
In this paper we present the verification of an imperative implementatio...
research
∙
07/22/2019
