142 citations · 399 across the 17 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
The Ramanujan Library -- Automated Discovery on the Hypergraph of Integer Relations
Itay Beit-Halachmi, Ido Kaminer
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…
cs.AI2024
Unsupervised Discovery of Formulas for Mathematical Constants
Michael Shalyt, Uri Seligmann, Itay Beit Halachmi +3
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…