MMODELYST
People/Martin Vechev
PPL

Martin Vechev

Papers (3)
Widening the Gap: Exploiting LLM Quantization via Outlier InjectionEvery Bit, Everywhere, All at Once: A Binomial Multibit LLM WatermarkNot All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness