Lacramioara Astefanoaei

Researcher, BAIF

Joined

September 2025

Names

Lacramioara Astefanoaei (Preferred)

Emails

****@beneficialaifoundation.org (Confirmed)

Personal Links

Career & Education History

Researcher

BAIF (beneficialaifoundation.org)

2025 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

compositional verification

,

model-checking

2008 – 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