vix.ing · top · new · best · stats · spec

Benjamin Breen

  1. AxDafny: Agentic Verified Code Generation in Dafny
    2026/06/30 by Benjamin Breen, Austin Letson, Borja Requena Pozo +1 · 1 voice
    Computer Science · #cs.AI