Unsupervised Discovery of Formulas for Mathematical Constants - Shalyt, Michael; Seligmann, Uri; Beit Halachmi, Itay; David, Ofir; Elimelech, Rotem; Kaminer, Ido (Advances in Neural Information Processing Systems, 2024)