← Search

Ofir David

3 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…

2023

Automated Search for Conjectures on Mathematical Constants using Analysis of Integer Sequences

ICML 2023poster

The discovery of formulas involving mathematical constants such as $\pi$ and $e$ had a great impact on various fields of science and mathematics. However, such discoveries have remained scarce, relying on the intuition of mathematicians such as Ramanujan and Gauss. Recent efforts to automate such di…

Cited by 4SourcePDFScholar