TY  - RPRT
TI  - Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation
AU  - Joshua Ong Jun Leang
AU  - Zheng Zhao
AU  - Mihaela Cătălina Stoian
AU  - Qiyuan Xu
AU  - Haonan Li
AU  - Wenda Li
AU  - Shay B. Cohen
AU  - Eleonora Giunchiglia
PY  - 2026
UR  - https://arxiv.org/abs/2606.12594
ID  - 2606.12594
ER  -