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

Qiyuan Xu

  1. AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language
    2026/07/17 by Qiyuan Xu, Joshua Ong Jun Leang, Renxi Wang +4
    #cs.SE #cs.AI #cs.LG #cs.PL