TY  - RPRT
TI  - AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language
AU  - Qiyuan Xu
AU  - Joshua Ong Jun Leang
AU  - Renxi Wang
AU  - Wenda Li
AU  - Haonan Li
AU  - Luke Ong
AU  - Conrad Watt
PY  - 2026
UR  - https://arxiv.org/abs/2607.16372
ID  - 2607.16372
ER  -