From Euler to AI: Unifying Formulas for Mathematical Constants - Raz, Tomer; Shalyt, Michael; Leibtag, Elyasheev; Kalisch, Rotem; Weinbaum, Shachar; Hadad, Yaron; Kaminer, Ido (Advances in Neural Information Processing Systems, 2025)