@InProceedings{FengEA26,
author = {Y. Feng and D. Kafle and V. Gladshtein and V. Kurin and G. P{\^{\i}}rlea and Q. Zhao and P. M\"uller, and I. Sergey},
title = {Certified Program Synthesis with a Multi-Modal Verifier},
booktitle = {Automated Software Engineering (ASE)},
year="2026",
publisher={IEEE Press},
note = {To appear}
}