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