Announcement_19

We are proud to announce that Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation has been awarded the Best Paper Award at the EMNLP MathNLP Workshop 🎉