Mathematical discoveries from program search with large language models

Distilling Free-Form Natural Laws from Experimental Data

Michael Schmidt, Hod Lipson · Science · 2009 · 2.7K citations

Artificial Intelligence, Engineering, More Complex Systems +20

Genetic programming as a means for programming computers by natural selection

J. R. Koza · Statistics and Computing · 1994 · 1.5K citations

Artificial Intelligence, Engineering, Genetic Algorithms +11

Hyper-heuristics: a survey of the state of the art

Edmund Burke, Michel Gendreau, Matthew Hyde et al. · Journal of the Operational Research Society · 2013 · 1.2K citations · Full text

A formal theory of inductive inference. Part I

Ray J. Solomonoff · Information and Control · 1964 · 1.2K citations

Automated Reasoning, Inductive Logic, Formal Theory +2

Generative Agents: Interactive Simulacra of Human Behavior

Joon Sung Park, Joseph O’Brien, Carrie J. Cai et al. · 2023 · 1.1K citations · Full text