Automated Search for Conjectures on Mathematical Constants using Analysis of Integer Sequences. - Ofir Razon; Yoav Harris; Shahar Gottlieb; Dan Carmon; Ofir David; Ido Kaminer (ICML, 2023)