Halachmi, Itay Beit

2 publications

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