Certified Program Synthesis with a Multi-Modal Verifier [pdf] #1 Post by matt_d » Tue, Aug 04, 2026, 6:19 AM UTC Certified Program Synthesis with a Multi-Modal Verifier [pdf]verse-lab.org