Kaminer, Ido

4 publications

NeurIPS 2025 From Euler to AI: Unifying Formulas for Mathematical Constants Tomer Raz, Michael Shalyt, Elyasheev Leibtag, Rotem Kalisch, Shachar Weinbaum, Yaron Hadad, Ido Kaminer

ICLR 2025 The Ramanujan Library - Automated Discovery on the Hypergraph of Integer Relations Itay Beit Halachmi, Ido Kaminer

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

ICML 2023 Automated Search for Conjectures on Mathematical Constants Using Analysis of Integer Sequences Ofir Razon, Yoav Harris, Shahar Gottlieb, Dan Carmon, Ofir David, Ido Kaminer