@ARTICLE{RomeraParedes2023,
    AUTHOR = {Romera-Paredes, Bernardino and Barekatain, Mohammadamin and Novikov, Alexander and Balog, Matej and Kumar, M. Pawan and Dupont, Emilien and Ruiz, Francisco J. R. and Ellenberg, Jordan S. and Wang, Pengming and Fawzi, Omar and Kohli, Pushmeet and Fawzi, Alhussein},
     TITLE = {Mathematical discoveries from program search with large language models},
   JOURNAL = {Nature},
      YEAR = {2023},
       DOI = {10.1038/s41586-023-06924-6},
}