Mathematical discoveries from program search with large language models

References

Page 1

	Year	Citations
Distilling Free-Form Natural Laws from Experimental Data Michael Schmidt, Hod Lipson Science Artificial IntelligenceEngineeringMore Complex SystemsComplex SystemsIntelligent Systems	2009	2.7K
Genetic programming as a means for programming computers by natural selection J. R. Koza Statistics and Computing Artificial IntelligenceEngineeringGenetic AlgorithmsProgram AnalysisGenetic Engineering	1994	1.5K
Hyper-heuristics: a survey of the state of the art Edmund Burke, Michel Gendreau, Matthew Hyde, Journal of the Operational Research Society	2013	1.2K
A formal theory of inductive inference. Part I Ray J. Solomonoff Information and Control Automated ReasoningInductive LogicFormal TheoryInductive ReasoningInductive Inference	1964	1.2K
Generative Agents: Interactive Simulacra of Human Behavior Joon Sung Park, Joseph O’Brien, Carrie J. Cai,	2023	1.1K
On the Length of Programs for Computing Finite Binary Sequences Gregory J. Chaitin Journal of the ACM	1966	902
Quality Diversity: A New Frontier for Evolutionary Computation Justin K. Pugh, L. B. Soros, Kenneth O. Stanley Frontiers in Robotics and AI Artificial IntelligenceEngineeringMachine LearningEvolutionary AlgorithmsIntelligent Systems	2016	470
Discovering faster matrix multiplication algorithms with reinforcement learning Alhussein Fawzi, Matej Balog, Aja Huang, Nature	2022	426
A Categorical Archive of ChatGPT Failures Ali Borji Research Square (Research Square)	2023	408
Toolformer: Language Models Can Teach Themselves to Use Tools Timo Schick, Jane Dwivedi-Yu, Roberto Dessì, arXiv (Cornell University)	2023	369

Page 1