Iddah Mlauzi

Joined

September 2024

Names

Iddah Mlauzi (Preferred)

Emails

****@stanford.edu (Confirmed)

,

****@gmail.com

Personal Links

Career & Education History

Undergrad student

Computer Science, Stanford University (stanford.edu)

2021 – 2025

Advisors, Relations & Conflicts

Coauthor

2024 – Present

Expertise

No areas of expertise listed

Publications

VeriBench: End-to-End Formal Verification Benchmark for AI Code Generation in Lean 4
Brando Miranda, Srivatsava Daruru, Zhanke Zhou, Slim Barkallah, Allen Nie, Iddah Mlauzi, Leni Aniva, Elyas Obbad, Weston Kirk, Ying Li, Santiago Cuellar, Dilara Soylu, Kai Fronsdal, John Sarracino, Andrea Yu, Rylan Schaeffer, Rakshit Kaushik, Bo Han, Sanmi Koyejo
- Submitted to ICLR 2026
- Readers: Everyone
ZIP-FIT: Embedding-Free Data Selection via Compression-Based Alignment for Code
Elyas Obbad, Brando Miranda, Iddah Mlauzi, Rylan Schaeffer, Kamal Obbad, Suhana Bedi, Sanmi Koyejo
- Submitted to ICLR 2026
- Readers: Everyone
ZIP-FIT: Embedding-Free Data Selection via Compression-Based Alignment
Elyas Obbad, Iddah Mlauzi, Brando Miranda, Kamal Obbad, Rylan Schaeffer, Suhana Bedi, Sanmi Koyejo
- Submitted to ICLR 2025
- Readers: Everyone

Co-Authors