Certified Program Synthesis with a Multi-Modal Verifier [pdf]

 (verse-lab.org)

1 points | by matt_d 1 day ago

0 comments