Certified Program Synthesis with a Multi-Modal Verifier [pdf]
By matt_d · 2026-08-04 · 1 points · 0 comments
https://verse-lab.org/papers/leetproof-ase26.pdf
By matt_d · 1 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews