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)

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

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

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark. - Michael Shalyt; Rotem Elimelech; Ido Kaminer (CoRR, 2025)

On Conservative Matrix Fields: Continuous Asymptotics and Arithmetic. - Shachar Weinbaum; Elyasheev Leibtag; Rotem Kalisch; Michael Shalyt; Ido Kaminer (CoRR, 2025)