Ionel Emilian Chiosa

Joined

August 2025

Names

Ionel Emilian Chiosa (Preferred)

Emails

****@mit.edu (Confirmed)

Personal Links

Career & Education History

Undergrad student

Mathematics, Massachusetts Institute of Technology (mit.edu)

2021 – 2025

Advisors, Relations & Conflicts

No relations added

Expertise

ML

Present

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