src-romeraparedes-2023-funsearch source
Mathematical discoveries from program search with large language models
locator
notes
FunSearch: frozen LLM proposes programs, evaluator scores them, island-based program database; cap set of size 512 in dimension 8; online bin-packing heuristics beat first fit and best fit.