Miranda Zhao

Undergrad student, Math, AI + Decision Making, Massachusetts Institute of Technology

Joined

September 2025

Names

Miranda Zhao (Preferred)

Emails

****@mit.edu (Confirmed)

Personal Links

Career & Education History

Undergrad student

Math, AI + Decision Making, Massachusetts Institute of Technology (mit.edu)

2023 – 2027

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

A Benchmark for Vericoding: Formally Verified Program Synthesis
Sergiu Bursuc, Theodore Ehrenborg, Shaowei Lin, Lacramioara Astefanoaei, Ionel Emilian Chiosa, Jure Kukovec, Alok Singh, Oliver Butterley, Adem Bizid, Quinn Dougherty, Miranda Zhao, Max Tan, Max Tegmark
- Submitted to ICLR 2026
- Readers: Everyone

Co-Authors