Generative Ai, Artificial Intelligence, Machine Learning, Thesequence, Large Language Models.
“thinking in code”. Essentially, FunSearch uses an LLM to generate computer programs based on a set of functions for a given problem and then uses an evaluator to prove the different solutions. The FunSearch named is derived from the fact that the model iteratively searches the function space.