@misc{indiciaee22326786721,
  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},
  url = {https://arxiv.org/abs/2606.12594},
  note = {Source identifier: 2606.12594}
}