Bernardino Romera-Paredes, Mohammadamin Barekatain, Alexander Novikov 0001, Matej Balog, M. Pawan Kumar, Emilien Dupont, Francisco J. R. Ruiz, Jordan S. Ellenberg, Pengming Wang, Omar Fawzi, Pushmeet Kohli, Alhussein Fawzi. Mathematical discoveries from program search with large language models. Nature, 625(7995):468-475, January 2024. [doi]
Abstract is missing.