Mathematical discoveries from program search with large language models

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]

Authors

Bernardino Romera-Paredes

This author has not been identified. Look up 'Bernardino Romera-Paredes' in Google

Mohammadamin Barekatain

This author has not been identified. Look up 'Mohammadamin Barekatain' in Google

Alexander Novikov 0001

This author has not been identified. Look up 'Alexander Novikov 0001' in Google

Matej Balog

This author has not been identified. Look up 'Matej Balog' in Google

M. Pawan Kumar

This author has not been identified. Look up 'M. Pawan Kumar' in Google

Emilien Dupont

This author has not been identified. Look up 'Emilien Dupont' in Google

Francisco J. R. Ruiz

This author has not been identified. Look up 'Francisco J. R. Ruiz' in Google

Jordan S. Ellenberg

This author has not been identified. Look up 'Jordan S. Ellenberg' in Google

Pengming Wang

This author has not been identified. Look up 'Pengming Wang' in Google

Omar Fawzi

This author has not been identified. Look up 'Omar Fawzi' in Google

Pushmeet Kohli

This author has not been identified. Look up 'Pushmeet Kohli' in Google

Alhussein Fawzi

This author has not been identified. Look up 'Alhussein Fawzi' in Google