Exploiting LLM Quantization - Egashira, Kazuki; Vero, Mark; Staab, Robin; He, Jingxuan; Vechev, Martin (Advances in Neural Information Processing Systems, 2024)