← Search

Itay Beit Halachmi

2 accepted papers

2025

The Ramanujan Library - Automated Discovery on the Hypergraph of Integer Relations

ICLR 2025poster

Fundamental mathematical constants appear in nearly every field of science, from physics to biology. Formulas that connect different constants often bring great insight by hinting at connections between previously disparate fields. Discoveries of such relations, however, have remained scarce events…

2024

Unsupervised Discovery of Formulas for Mathematical Constants

NeurIPS 2024poster

Ongoing efforts that span over decades show a rise of AI methods for accelerating scientific discovery, yet accelerating discovery in mathematics remains a persistent challenge for AI. Specifically, AI methods were not effective in creation of formulas for mathematical constants because each such fo…