Congrats to @joshuaongg21 on a very well deserved best paper award for Pythagoras-Prover!
π We are excited to share that Pythagoras-Prover has won the Best Paper Award at the 4th Workshop on Mathematical NLP at #EMNLP2026π₯View quoted post on X
Huge thanks to all the MathNLP organisers and the programme committee for this incredible award π
Slides from the oral presentation are available at joshuaongg21.github.io/assets/pdf/Josβ¦