vix.ing · top · new · best · stats

Borja Requena

  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