3 ms·
From the paper: We note that FunSearch currently works best for problems having the following characteristics: a) availability of an efficient evaluator; b) a
by lossolo 3y ago
From the paper:
We note that FunSearch currently works best for problems having the following characteristics:
a) availability of an efficient evaluator; b) a “rich” scoring feedback quantifying the improvements
(as opposed to a binary signal); c) ability to provide a skeleton with an isolated part to be evolved.
For example, the problem of generating proofs for theorems [52–54] falls outside this scope, since
it is unclear how to provide a rich enough scoring signal.