arxiv-2604.16584-leetproof.md

Certified program synthesis with multi-modal verifier