David, Ofir

3 publications

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

NeurIPS 2016 Supervised Learning Through the Lens of Compression Ofir David, Shay Moran, Amir Yehudayoff