Cropper, A. The Automatic Computer Scientist. AAAI 2023, 37, 15434-15434.