{"type": "article", "title": "Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/pythagoras-prover-advancing-efficient-formal-proving-via-augmented-lean", "original_source": "https://arxiv.org/abs/2606.12594", "published": "2026-06-12T04:00:00+00:00", "accessed": "2026-06-13", "id": "pythagoras-prover-advancing-efficient-formal-proving-via-augmented-lean"}