Unsupervised Discovery of Formulas for Mathematical Constants. - Michael Shalyt; Uri Seligmann; Itay Beit Halachmi; Ofir David; Rotem Elimelech; Ido Kaminer (NeurIPS, 2024)