Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation - Mündler, Niels; He, Jingxuan; Jenko, Slobodan; Vechev, Martin (International Conference on Learning Representations, 2024)