Mathematical discoveries from program search with large language models 论文

2023Nature引用 321
DOIPDF
Computability, Logic, AI AlgorithmsArtificial Intelligence in GamesAlgorithms and Data Compression
人工智能Algorithms and Data CompressionComputability, Logic, AI AlgorithmsArtificial Intelligence in Games
相关技术:Computability, Logic, AI AlgorithmsAlgorithms and Data Compression
关系图谱

Mathematical discoveries from program search with large language models · 作者

A

Alhussein Fawzi

P

Pushmeet Kohli

O

Omar Fawzi

P

Pengming Wang

J

Jordan S. Ellenberg

F

Francisco J. R. Ruiz

E

Emilien Dupont

M

Manish Kumar

M

Matej Balog

A

Alexander Novikov

M

Mohammadamin Barekatain

B

Bernardino Romera‐Paredes