@article{pythagorasproveradvancingefficientformal,
  title = {Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation},
  author = {Joshua Ong Jun Leang and Zheng Zhao and Mihaela Cătălina Stoian and Qiyuan Xu and Haonan Li and Wenda Li and Shay B. Cohen and Eleonora Giunchiglia},
  year = {2026},
  eprint = {2606.12594},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2606.12594},
}