The Ramanujan Machine: Automatically Generated Conjectures on Fundamental Constants. - Gal Raayoni; George Pisha; Yahel Manor; Uri Mendlovic; Doron Haviv; Yaron Hadad; Ido Kaminer (CoRR, 2019)

Generating conjectures on fundamental constants with the Ramanujan Machine. - Gal Raayoni; Shahar Gottlieb; Yahel Manor; George Pisha; Yoav Harris; Uri Mendlovic; Doron Haviv; Yaron Hadad; Ido Kaminer (Nat., 2021)

Algorithm-assisted discovery of an intrinsic order among mathematical constants. - Rotem Elimelech; Ofir David; Carlos De la Cruz Mengual; Rotem Kalisch; Wolfgang Berndt; Michael Shalyt; Mark Silberstein; Yaron Hadad; Ido Kaminer (CoRR, 2023)

From Euler to AI: Unifying Formulas for Mathematical Constants. - Tomer Raz; Michael Shalyt; Elyasheev Leibtag; Rotem Kalisch; Yaron Hadad; Ido Kaminer (CoRR, 2025)