Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation. - Niels Mündler; Jingxuan He; Slobodan Jenko; Martin T. Vechev (ICLR, 2024)

Practical Attacks against Black-box Code Completion Engines. - Slobodan Jenko; Jingxuan He; Niels Mündler; Mark Vero; Martin T. Vechev (CoRR, 2024)