Abstract page for arXiv paper 2609.00032: EULER: Exploring Underused Links with Evidence-Checked Return for Multi-Agent Mathematical Discovery