▲ 1 pointsCertified Program Synthesis with a Multi-Modal Verifier [pdf]verse-lab.orgby matt_d·12d ago·0 comments·view on hn ↗