Can Large Language Models Win the International Mathematical Games? - Alessio Cocchieri; Luca Ragazzi; Giuseppe Tagliavini; Lorenzo Tordi; Antonella Carbonaro; Gianluca Moro (EMNLP, 2025)