Supervised learning through the lens of compression. - Ofir David; Shay Moran; Amir Yehudayoff (NIPS, 2016)

On statistical learning via the lens of compression. - Ofir David; Shay Moran; Amir Yehudayoff (CoRR, 2016)

Equidistribution of divergent orbits and continued fraction expansion of rationals. - Ofir David; Uri Shapira (J. Lond. Math. Soc., 2018)

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)

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)