vix.ing · top · new · best · stats

Austin Letson

  1. A Minimal Agent for Automated Theorem Proving
    2026/02/27 by Borja Requena, Austin Letson, Krystian Nowakowski +2 · 1 voice · 8 citations
    Computer Science · #cs.AI
  2. AxDafny: Agentic Verified Code Generation in Dafny
    2026/06/30 by Benjamin Breen, Austin Letson, Borja Requena Pozo +1 · 1 voice · 1 citation
    Computer Science · #cs.AI