← Search

Rotem Elimelech

2 accepted papers

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…